jooby-run: document waitTimeBeforeRestart. See
@@ -109,6 +109,7 @@ The next example shows all the available options with their default values:
<restartExtensions>conf,properties,class</restartExtensions> <2>
<compileExtensions>java,kt</compileExtensions> <3>
<port>8080</port> <4>
+ <waitTimeBeforeRestart>500</waitTimeBeforeRestart> <5>
</configuration>
</plugin>
...
@@ -137,6 +138,7 @@ joobyRun {
restartExtensions = ["conf", "properties", "class"] <2>
compileExtensions = ["java", "kt"] <3>
port = 8080 <4>
+ waitTimeBeforeRestart = 500 <5>
}
----
@@ -144,4 +146,5 @@ joobyRun {
<2> Restart extensions. A change on these files trigger a restart request.
<3> Source extensions. A change on these files trigger a compilation request, followed by a restart request.
<4> Application port
+<5> How long to wait after last file change to restart. Default is: `500` milliseconds.
