diff options
Diffstat (limited to 'src/main/java/derms/frontend')
| -rw-r--r-- | src/main/java/derms/frontend/FE.java | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/main/java/derms/frontend/FE.java b/src/main/java/derms/frontend/FE.java index 532acac..ca5374d 100644 --- a/src/main/java/derms/frontend/FE.java +++ b/src/main/java/derms/frontend/FE.java @@ -67,21 +67,18 @@ public class FE { Endpoint endpoint = Endpoint.publish(FE_Address, servant); Runnable task = () -> { listenForUDPResponses(servant); + try { + sequencerSock.close(); + } catch (Exception e) { + e.printStackTrace(); + } }; Thread thread = new Thread(task); thread.start(); - } catch (Exception e) { // System.err.println("Exception: " + e); e.printStackTrace(System.out); // Logger.serverLog(serverID, "Exception: " + e); - } finally { - try { - sequencerSock.close(); - } catch (Exception e) { - System.out.println("Error closing sequencer socket:"); - e.printStackTrace(System.out); - } } // System.out.println("FrontEnd Server Shutting down"); |