#
#
# patch "www/admin-source_control.js"
#  from [797eabf030181c04ee34889b9d26eca4ffba5999]
#    to [7bec49a7c82945b057152f741a0cfd7a0fe1c8db]
#
============================================================
--- www/admin-source_control.js	797eabf030181c04ee34889b9d26eca4ffba5999
+++ www/admin-source_control.js	7bec49a7c82945b057152f741a0cfd7a0fe1c8db
@@ -51,7 +51,7 @@ set_state_display = function(state){
     replaceChildNodes("serverstate", state);
   }
   // set 'chstate' button to enable/disable appropriately
-  if (state.match("WAITING") || state.match("RUNNING") || state.match("SLEEPING")) {
+  if (state.match("WAITING") || state.match("ACTIVE") || state.match("SLEEPING")) {
     getElement("chstate").value = "Disable server";
   } else {
     getElement("chstate").value = "Enable server";