tweaked server restart in migrate.pl