Commit 05a04f5 1 parent ea262bc commit 05a04f5 Copy full SHA for 05a04f5
File tree 1 file changed +6
-5
lines changed
1 file changed +6
-5
lines changed Original file line number Diff line number Diff line change @@ -682,7 +682,7 @@ let run
682
682
?key_file
683
683
?(builtins = true )
684
684
?(greeting = true )
685
- ?( adjust_terminal = false )
685
+ ?adjust_terminal
686
686
user's_dream_handler =
687
687
688
688
let () = if Sys. unix then
@@ -691,10 +691,11 @@ let run
691
691
692
692
let log = Log. convenience_log in
693
693
694
- if adjust_terminal then begin
695
- log " %s %s"
696
- " The '~adjust_terminal' option is deprecated and will be removed in a"
697
- " future release. Dream no longer truncates long log lines."
694
+ (* This should be removed, together with ~adjust_terminal, after a few
695
+ releases. The warning is present since 1.0.0~alpha7. *)
696
+ if adjust_terminal <> None then begin
697
+ Error_handler. log.warning (fun log ->
698
+ log " Dream.run: ~adjust_terminal is deprecated" )
698
699
end ;
699
700
700
701
if greeting then begin
You can’t perform that action at this time.
0 commit comments