Ticket #12023: CorrectServerStop.patch

src/org/openstreetmap/josm/io/remotecontrol/RemoteControlHttpServer.java

@@ -101 +101 @@
                 Socket request = server.accept();
                 RequestProcessor.processRequest(request);
             } catch (SocketException se) {
-                if (!server.isClosed())
+                if (!server.isClosed()) {
                     Main.error(se);
+                } else {
+                    // stop the thread automatically if server is stopped
+                    return;
+                }
             } catch (IOException ioe) {
                 Main.error(ioe);
             }