server-side ping management fixed
authorMatteo Nastasi (mop) <nastasi@alternativeoutput.com>
Sun, 7 Oct 2012 09:02:36 +0000 (11:02 +0200)
committerMatteo Nastasi (mop) <nastasi@alternativeoutput.com>
Sun, 7 Oct 2012 09:02:36 +0000 (11:02 +0200)
commit2f7ef792e22946a9678f5982a19dacdccd9091eb
treedd9e741915ea220a7fd4475cb22e1f5028141a18
parent7bb29caf1761665d81089090d1df1153b5d2bab9
server-side ping management fixed
web/Obj/brisk.phh
web/Obj/sac-a-push.phh
web/Obj/user.phh
web/index_wr.php