use dba;
+require_once 'include/dba.php';
+
/**
* @file src/Core/Worker.php
*
while ($entry = dba::fetch($entries)) {
if (!posix_kill($entry["pid"], 0)) {
- dba::update('workerqueue', array('executed' => NULL_DATE, 'pid' => 0), array('id' => $entry["id"]));
+ dba::update(
+ 'workerqueue',
+ array('executed' => NULL_DATE, 'pid' => 0),
+ array('id' => $entry["id"])
+ );
} else {
// Kill long running processes
// Check if the priority is in a valid range