implemented server_timer (untested)