1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
(*
* Copyright (C) 2006-2009 Citrix Systems Inc.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published
* by the Free Software Foundation; version 2.1 only. with the special
* exception on linking described in file LICENSE.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*)
let get_backtrace () =
let b = Printexc.get_backtrace () in
let nicify_locator s =
try
match Stringext.String.split ',' s with
| file :: line :: character :: [] ->
let i = String.index_from file 0 '"' + 1 in
let i2 = String.index_from file i '"' in
String.concat "" [ String.sub file i (i2 - i); ":";
(try String.sub line 6 (String.length line - 6) with _ -> line); ".";
(try String.sub character 12 (String.length character - 12) with _ -> character) ]
| _ -> s
with _ -> s
in
try
let list = Stringext.String.split '\n' b in
let list = List.filter ((<>) "") list in
"Raised at " ^ (String.concat " -> " (List.map nicify_locator list))
with _ ->
b
|
