projects
/
brisk.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
aggiornati i commenti di benvenuto
[brisk.git]
/
web
/
index.php
diff --git
a/web/index.php
b/web/index.php
index
e0db3d2
..
0e9d615
100644
(file)
--- a/
web/index.php
+++ b/
web/index.php
@@
-49,7
+49,7
@@
function main()
/* Actions */
if (validate_sess($sess)) {
/* Actions */
if (validate_sess($sess)) {
- log_main("pre garbage_manager");
+ log_main("pre garbage_manager
UNO
");
$room->garbage_manager(TRUE);
log_main("post garbage_manager");
if (($user = &$room->get_user($sess, &$idx)) != FALSE) {
$room->garbage_manager(TRUE);
log_main("post garbage_manager");
if (($user = &$room->get_user($sess, &$idx)) != FALSE) {
@@
-76,6
+76,8
@@
function main()
}
if ($ACTION == "login" && isset($name)) {
}
if ($ACTION == "login" && isset($name)) {
+
+ log_main("pre garbage_manager DUE");
$room->garbage_manager(TRUE);
/* try login */
if (($user = &$room->add_user(&$sess, &$idx, $name, $_SERVER['REMOTE_ADDR'])) != FALSE) {
$room->garbage_manager(TRUE);
/* try login */
if (($user = &$room->add_user(&$sess, &$idx, $name, $_SERVER['REMOTE_ADDR'])) != FALSE) {