projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
game related functions moved to briskin5
[brisk.git]
/
web
/
Obj
/
hardban.phh
diff --git
a/web/Obj/hardban.phh
b/web/Obj/hardban.phh
index
61ddb91
..
239ed7d
100644
(file)
--- a/
web/Obj/hardban.phh
+++ b/
web/Obj/hardban.phh
@@
-241,13
+241,11
@@
class Hardbans {
function lock_data()
{
if (($tok = @ftok(FTOK_PATH."/hardbans", "B")) == -1) {
function lock_data()
{
if (($tok = @ftok(FTOK_PATH."/hardbans", "B")) == -1) {
- echo "FTOK FAILED";
- exit;
+ return (FALSE);
}
// echo "FTOK ".$tok."<br>";
if (($res = sem_get($tok)) == FALSE) {
}
// echo "FTOK ".$tok."<br>";
if (($res = sem_get($tok)) == FALSE) {
- echo "SEM_GET FAILED";
- exit;
+ return (FALSE);
}
if (sem_acquire($res)) {
log_lock("LOCK hardbans");
}
if (sem_acquire($res)) {
log_lock("LOCK hardbans");