close $server;