Use daemon threads.

Author: toinehartman

src/org/rascalmpl/ideservices/RemoteIDEServices.java

@@ -30,9 +30,11 @@
 import java.net.InetAddress;
 import java.net.Socket;
 import java.net.URI;
+import java.util.concurrent.Executors;
+import java.util.concurrent.ThreadFactory;
 import java.util.concurrent.TimeUnit;
 import java.util.concurrent.TimeoutException;
-
+import java.util.concurrent.atomic.AtomicInteger;
 import org.eclipse.lsp4j.jsonrpc.Launcher;
 import org.jline.terminal.Terminal;
 import org.rascalmpl.debug.IRascalMonitor;
@@ -65,6 +67,17 @@ public RemoteIDEServices(int ideServicesPort, PrintWriter stderr, IRascalMonitor
                 .setInput(socket.getInputStream())
                 .setOutput(socket.getOutputStream())
                 .configureGson(GsonUtils::configureGson)
+                .setExecutorService(Executors.newCachedThreadPool(new ThreadFactory() {
+                    AtomicInteger counter = new AtomicInteger();
+
+                    @Override
+                    public Thread newThread(Runnable r) {
+                        Thread t = new Thread("rascal-ide-services-" + counter.incrementAndGet());
+                        t.setDaemon(true);
+                        return t;
+                    }
+
+                }))
                 .create();
 
                 clientLauncher.startListening();