binder token tweak

fonsp · Mar 12, 2022 · 1d3ae22 · 1d3ae22
1 parent 0fe5c39
commit 1d3ae22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/webserver/WebServer.jl b/src/webserver/WebServer.jl
@@ -234,7 +234,7 @@ function run(session::ServerSession, pluto_router)
 
             # If a "token" url parameter is passed in from binder, then we store it to add to every URL (so that you can share the URL to collaborate).
             params = HTTP.queryparams(HTTP.URI(request.target))
-            if haskey(params, "token") && session.binder_token === nothing 
+            if haskey(params, "token") && params["token"] ∉ ("null", "undefined", "") && session.binder_token === nothing
                 session.binder_token = params["token"]
             end