Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

[fix] server: Change server starting only with the new syntax

  • Loading branch information...
commit b79d1ccea1d92e8bf65641319bda8ccd894563cb 1 parent 4a0d83a
@BourgerieQuentin BourgerieQuentin authored
Showing with 6 additions and 2 deletions.
  1. +6 −2 opalib/opaEnv.ml
View
8 opalib/opaEnv.ml
@@ -233,7 +233,7 @@ struct
(* n *)
let no_assert = ref false
- let no_server = ref (Some false)
+ let no_server = ref None
let stdlib = ref true
let show_compilation = ref false
@@ -774,7 +774,11 @@ where options are :
(* n *)
no_assert = !ArgParser.no_assert ;
- no_server = !ArgParser.no_server ;
+ no_server =
+ (match !ArgParser.no_server with
+ | None when (!OpaSyntax.Args.r).OpaSyntax.Args.parser = OpaSyntax.Js -> Some false
+ | x -> x)
+ ;
stdlib = !ArgParser.stdlib ;
embedded_opa = !ArgParser.embedded_opa ;
Please sign in to comment.
Something went wrong with that request. Please try again.