From f684bffe575936cf6357c35174d868295229521c Mon Sep 17 00:00:00 2001
From: Hoai Viet Nguyen <viet.nguyen@th-koeln.de>
Date: Tue, 15 Oct 2024 15:13:17 +0200
Subject: [PATCH] remove unused executor

---
 .idea/misc.xml          | 1 -
 src/main/kotlin/Main.kt | 1 -
 2 files changed, 2 deletions(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 4f44ba5..fdc27e7 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,4 +1,3 @@
-<?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="ProjectRootManager" version="2" languageLevel="JDK_17" default="true" project-jdk-name="20" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
diff --git a/src/main/kotlin/Main.kt b/src/main/kotlin/Main.kt
index d353a89..b16238e 100644
--- a/src/main/kotlin/Main.kt
+++ b/src/main/kotlin/Main.kt
@@ -6,7 +6,6 @@ import java.net.InetSocketAddress
 fun main(args: Array<String>) {
     val server = HttpServer.create(InetSocketAddress(8000), 0)
     server.createContext("/", MyHandler())
-    server.executor = null // creates a default executor
     server.start()
     println("Server listing on port 8000")
 }
-- 
GitLab