0.12 fixie

fonsp · Oct 7, 2020 · 685a084 · 685a084
1 parent 89f9c25
commit 685a084
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plutoserver.py b/plutoserver.py
@@ -1,6 +1,6 @@
 def setup_plutoserver():
   return {
-    "command": ["julia", "-e", "import Pluto; Pluto.run(host=\"0.0.0.0\", port={port}, launch_browser=false, require_token_for_open_links=false)"],
+    "command": ["julia", "--optimize=0", "-e", "import Pluto; Pluto.run(host=\"0.0.0.0\", port={port}, launch_browser=false, require_secret_for_open_links=false, require_secret_for_access=false)"],
     "timeout": 60,
     "launcher_entry": {
         "title": "Pluto.jl",