From 51b81a7bf8d37448c0e08ca0eda4346237ae9539 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 26 May 2020 03:00:20 +0200
Subject: [PATCH] Minor clean-up

---
 github-fast-envd.rb | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/github-fast-envd.rb b/github-fast-envd.rb
index 6497ca1..80e9367 100755
--- a/github-fast-envd.rb
+++ b/github-fast-envd.rb
@@ -36,10 +36,6 @@ end
 control_server = UNIXServer.new(control_socket_path)
 File.chmod 0700, control_socket_path
 
-#at_exit do
-#	control_server.close
-#end
-
 $original_stderr.puts "serving control socket"
 
 connection_id = 0