ワークベンチがサーバーを始動または停止する処理を取り消すまでに、待機できる時間の長さを指定できます。
サーバー server_name を x 秒以内に始動することができませんでした。サーバーでさらに時間が必要な場合は、サーバー・エディターでタイムアウトを増やしてみてください。
server_name は、「サーバー」ビューでエントリーを識別するためのサーバーの名前であり、x は「始動 (Start)」コントロールに指定された秒数です。サーバーの終了
サーバー server_name は応答していません。 このサーバーを終了しますか? サーバーを終了するには「OK」をクリックし、待機して続行するには「キャンセル」をクリックしてください。