stack-monitor: force partition processing when parameters change

stack/monitor/monitor.cfg.in

@@ -122,6 +122,7 @@ filename = settings.cgi
 mode = 0744
 context =
   raw config_cfg $${buildout:directory}/knowledge0.cfg
+  raw timestamp $${buildout:directory}/.timestamp
   raw python_executable ${buildout:executable}
   key pwd monitor-parameters:knowledge0-cgi
   key this_file :filename

stack/monitor/webfiles/settings.cgi.in

@@ -28,6 +28,9 @@ for name in form:
 with open(config_file, 'w') as file:
   parser.write(file)
 
+if len(form) > 0:
+  os.remove("{{ timestamp }}")
+
 print "<h1>Values that can be defined :</h1>"
 print "<form action=\"/index.cgi\" method=\"post\" class=\"pure-form-aligned\">"
 print "<input type=\"hidden\" name=\"posting-script\" value=\"{{ pwd }}/{{ this_file }}\">"