4. [サーバ側] ネーミング・サービスの終了

プログラムの実行が終わったら，バックグラウンドで動作しているネーミング・サービス を終了させておこう． これには ps コマンドで rmiregistry のプロセスID（PID）を調べ， kill コマンドで当該プロセスを停止させる．