Przeglądaj źródła

[display] allow to run json-rpc --display without additional arguments

Simon Krajewski 6 lat temu
rodzic
commit
0118bbecbc
1 zmienionych plików z 2 dodań i 0 usunięć
  1. 2 0
      src/compiler/main.ml

+ 2 - 0
src/compiler/main.ml

@@ -679,6 +679,8 @@ try
 		("Services",["--display"],[], Arg.String (fun input ->
 			let input = String.trim input in
 			if String.length input > 0 && (input.[0] = '[' || input.[0] = '{') then begin
+				did_something := true;
+				force_typing := true;
 				DisplayJson.parse_input com input measure_times
 			end else
 				DisplayOutput.handle_display_argument com input pre_compilation did_something;