fixes crash on deactivate() (do not try to despawn the server)

Author: takbal

lib/index.js

@@ -3,7 +3,7 @@
 import net from 'net';
 import FS from 'fs';
 import { CompositeDisposable } from 'atom';
-import { spawnServer, terminateServer, getPipePath } from './server';
+import { spawnServer, getPipePath } from './server';
 
 const pipepath = getPipePath();
 
@@ -89,9 +89,11 @@ export function activate() {
 
 export function deactivate() {
   if (global.linter_julia_spawnedServer !== null) {
-    terminateServer(global.linter_julia_spawnedServer);
-    global.linter_julia_spawnedServer = null;
-    global.linter_julia_started = false;
+    // terminateServer() just does not work
+    // terminateServer(global.linter_julia_spawnedServer);
+    // global.linter_julia_spawnedServer = null;
+    // global.linter_julia_started = false;
+    // server stays alive, just try not to deadlock
     global.linter_julia_locked = false;
   }
   if (subscriptions) {