function genSignalLogWindow($selectedRoleNr) { echo "<div class=LogWindow id=SignalLog minimized=false><div class=MinMaxButton></div><div class=Title>" . ($selectedRoleNr == -1 ? "All signals" : "Signals for " . getRoleName($selectedRoleNr)) . "</div>"; checkRoleRules($selectedRoleNr); echo "</div>"; }
} else { if (isset($_REQUEST['testRule'])) { testRule($_REQUEST['testRule']); } else { if (isset($_REQUEST['ip'])) { echo $_SERVER['SERVER_ADDR']; } else { if (isset($_REQUEST['commands'])) { echo '<div id="UpdateResults">'; dbStartTransaction(); emitLog("BEGIN"); processCommands(); // update database according to edit commands // Process processRules first, because the ExecEngine may execute code while processing this stuff. echo '<div id="ProcessRuleResults">'; checkRoleRules($selectedRoleNr); echo '</div>'; // Run all stored procedures in the database // Doing so AFTER running the ExecEngine allows any problems with stored procedures to be 'fixed' // 2do this: create a rule with the same ruleexpression and handle the violation with th ExecEngine runAllProcedures(); runAllProcedures(); echo '<div id="InvariantRuleResults">'; $invariantRulesHold = checkInvariantRules(); echo '</div>'; if ($invariantRulesHold) { setTimeStamp(); emitLog("COMMIT"); dbCommitTransaction(); } else { emitLog("ROLLBACK");