# HG changeset patch
# User wenzelm
# Date 1483375260 -3600
# Node ID 3cc892bd8f0f32739a3dec1ee9c383862054e7d0
# Parent  ceb81f4928eafeac4e694603b03a7d8722e02883
avoid hardwired options: use isabelle.args settings instead;

diff -r ceb81f4928ea -r 3cc892bd8f0f src/Tools/VSCode/extension/src/extension.ts
--- a/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 17:35:51 2017 +0100
+++ b/src/Tools/VSCode/extension/src/extension.ts	Mon Jan 02 17:41:00 2017 +0100
@@ -29,13 +29,7 @@
         { command: isabelle_tool,
           args: ["vscode_server"].concat(isabelle_args) };
 
-    let server_options: ServerOptions =
-    {
-      run: run,
-      debug: {
-        command: run.command,
-        args: run.args.concat(["-L", path.join(context.extensionPath, "protocol.log")]) }
-    };
+    let server_options: ServerOptions = { run: run, debug: run };
     let client_options: LanguageClientOptions = {
       documentSelector: ["isabelle", "isabelle-ml"]
     };