diff options
Diffstat (limited to 'eclipse/Development Server (vaadin).launch')
| -rw-r--r-- | eclipse/Development Server (vaadin).launch | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/eclipse/Development Server (vaadin).launch b/eclipse/Development Server (vaadin).launch index 9505811c0b..197344cce0 100644 --- a/eclipse/Development Server (vaadin).launch +++ b/eclipse/Development Server (vaadin).launch @@ -14,6 +14,7 @@ </listAttribute> <booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/> <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="com.vaadin.launcher.DevelopmentServerLauncher"/> +<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="--autoreload=build/classes --scaninterval=3"/> <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="vaadin"/> <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-ea"/> </launchConfiguration> |