()
| 68 | when the user terminates the server with Ctrl+C */ |
| 69 | Runtime.getRuntime().addShutdownHook(new Thread() { |
| 70 | @Override |
| 71 | public void run() { |
| 72 | try { |
| 73 | cred.dispose(); |
| 74 | } catch (GSSException e) { |
| 75 | System.out.println("Couldn't free GSSCredential storage"); |
| 76 | } |
| 77 | System.out.println("Freed GSSCredential storage"); |
| 78 | } |
| 79 | }); |
| 80 | |
| 81 | ServerSocket serverSocket = null; |