Jelajahi Sumber

[unix] don't spoil null_pos in get_full_path (affects #9504)

Aleksandr Kuzmenko 5 tahun lalu
induk
melakukan
5908d2cd76
1 mengubah file dengan 1 tambahan dan 0 penghapusan
  1. 1 0
      src/core/path.ml

+ 1 - 0
src/core/path.ml

@@ -133,6 +133,7 @@ let get_full_path =
 			let absolute_path =
 				if length > 0 && String.unsafe_get f 0 = '/' then f
 				else if length = 0 then Unix.getcwd()
+				else if f = "?" then f
 				else (Unix.getcwd()) ^ "/" ^ f
 			in
 			let has_trailing_slash =