diff options
| -rw-r--r-- | src/com/vaadin/launcher/DemoLauncher.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/com/vaadin/launcher/DemoLauncher.java b/src/com/vaadin/launcher/DemoLauncher.java index 38b6060a27..f18cdf636f 100644 --- a/src/com/vaadin/launcher/DemoLauncher.java +++ b/src/com/vaadin/launcher/DemoLauncher.java @@ -36,7 +36,8 @@ public class DemoLauncher { public static void main(String[] args) throws Exception { - final Map serverArgs = DevelopmentServerLauncher.parseArguments(args); + final Map<String, String> serverArgs = DevelopmentServerLauncher + .parseArguments(args); boolean deployed = false; try { // Default deployment: embedded.war @@ -176,7 +177,8 @@ public class DemoLauncher { * @return * @throws IOException */ - protected static boolean deployEmbeddedWarfile(Map args) throws IOException { + protected static boolean deployEmbeddedWarfile(Map<String, String> args) + throws IOException { final String embeddedWarfileName = "/embedded.war"; final InputStream embeddedWarfile = DemoLauncher.class .getResourceAsStream(embeddedWarfileName); |