Update server_up.pl