diff --git a/rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/core/server/ServerLauncher.java b/rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/core/server/ServerLauncher.java
index bbb3d61e6b9..6006ce4507d 100644
--- a/rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/core/server/ServerLauncher.java
+++ b/rse/plugins/org.eclipse.dstore.core/src/org/eclipse/dstore/core/server/ServerLauncher.java
@@ -569,6 +569,8 @@ public class ServerLauncher extends Thread {
 					} catch (Exception e) {
 						// don't display exceptions 193426
 						//e.printStackTrace();
+						System.err.println(e.getMessage());
+						System.exit(-1);
 					}
 				} else {
 					_serverSocket = new ServerSocket(port);