options.getBooleanOption("ClearOnNextRestart").set(clearOnNextRestart);
boolean reallyClearOnNextRestart = Boolean.parseBoolean(request.getHttpRequest().getPartAsStringFailsafe("really-clear-on-next-restart", 5));
options.getBooleanOption("ReallyClearOnNextRestart").set(reallyClearOnNextRestart);
+ webInterface.getCore().saveConfiguration();
throw new RedirectException(getPath());
}
template.set("insertion-delay", options.getIntegerOption("InsertionDelay").get());