diff options
Diffstat (limited to 'src/com/vaadin/launcher')
| -rw-r--r-- | src/com/vaadin/launcher/DevelopmentServerLauncher.java | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/src/com/vaadin/launcher/DevelopmentServerLauncher.java b/src/com/vaadin/launcher/DevelopmentServerLauncher.java index 79e9775d5e..8e6a71b2a6 100644 --- a/src/com/vaadin/launcher/DevelopmentServerLauncher.java +++ b/src/com/vaadin/launcher/DevelopmentServerLauncher.java @@ -32,23 +32,26 @@ public class DevelopmentServerLauncher { * @param args
* @throws Exception
*/
- public static void main(String[] args) throws Exception {
+ public static void main(String[] args) {
// Pass-through of arguments for Jetty
final Map<String, String> serverArgs = parseArguments(args);
// Start Jetty
System.out.println("Starting Jetty servlet container.");
- final String url = runServer(serverArgs, "Development Server Mode");
-
- // Start Browser
- if (!serverArgs.containsKey("nogui") && url != null) {
- System.out.println("Starting Web Browser.");
+ String url;
+ try {
+ url = runServer(serverArgs, "Development Server Mode");
+ // Start Browser
+ if (!serverArgs.containsKey("nogui") && url != null) {
+ System.out.println("Starting Web Browser.");
- // Open browser into application URL
- BrowserLauncher.openBrowser(url);
+ // Open browser into application URL
+ BrowserLauncher.openBrowser(url);
+ }
+ } catch (Exception e) {
+ // NOP exception already on console by jetty
}
-
}
/**
|