+function pid_save()
+{
+ $pid = getmypid();
+ $fname = LEGAL_PATH."/brisk.pid";
+
+ if (file_exists($fname)) {
+ log_crit("WARN: brisk.pid already exists");
+ }
+ file_put_contents($fname, sprintf("%d\n", $pid));
+}
+
+function pid_remove()
+{
+ $fname = LEGAL_PATH."/brisk.pid";
+
+ if (file_exists($fname)) {
+ unlink($fname);
+ }
+}
+