main: destroy the save_state timer on exit

Make valgrind happier.
This commit is contained in:
Max Kellermann 2008-11-25 17:55:04 +01:00
parent 7918785c78
commit d85184256e

View File

@ -470,6 +470,8 @@ int main(int argc, char *argv[])
}
}
g_timer_destroy(save_state_timer);
write_state_file();
playerKill();
finishZeroconf();