Explorar el Código

support for --display "quoted file"@123 (over socket)

Nicolas Cannasse hace 13 años
padre
commit
1cb3d1c752
Se han modificado 1 ficheros con 1 adiciones y 0 borrados
  1. 1 0
      main.ml

+ 1 - 0
main.ml

@@ -750,6 +750,7 @@ try
 				complete_fields (Hashtbl.fold (fun k _ acc -> (k,"","") :: acc) Lexer.keywords [])
 			| _ ->
 				let file, pos = try ExtString.String.split file_pos "@" with _ -> failwith ("Invalid format : " ^ file_pos) in
+				let file = unquote file in
 				let pos = try int_of_string pos with _ -> failwith ("Invalid format : "  ^ pos) in
 				com.display <- true;
 				Common.display_default := true;