diff options
Diffstat (limited to 'tools/debugger/pdb/Util.ml')
| -rw-r--r-- | tools/debugger/pdb/Util.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/debugger/pdb/Util.ml b/tools/debugger/pdb/Util.ml index a5722242db..f723630646 100644 --- a/tools/debugger/pdb/Util.ml +++ b/tools/debugger/pdb/Util.ml @@ -103,7 +103,7 @@ let get_connection_info fd = let get_local_info fd = let sockname = Unix.getsockname fd in match sockname with - | Unix.ADDR_UNIX(s) -> s + | Unix.ADDR_UNIX(s) -> "unix" | Unix.ADDR_INET(a,p) -> ((Unix.string_of_inet_addr a) ^ ":" ^ (string_of_int p)) and get_remote_info fd = @@ -119,6 +119,9 @@ let get_connection_info fd = | Unix.Unix_error (Unix.ENOTSOCK, s1, s2) -> let s = Unix.fstat fd in Printf.sprintf "dev: %d, inode: %d" s.Unix.st_dev s.Unix.st_ino + | Unix.Unix_error (Unix.EBADF, s1, s2) -> + let s = Unix.fstat fd in + Printf.sprintf "dev: %d, inode: %d" s.Unix.st_dev s.Unix.st_ino | _ -> get_local_info fd |