PHPスクリプトを使用してLinuxでシェルスクリプトを呼び出しています。次のようにします。
shell_exec('./shell_script.sh');
この後、PHPスクリプトは続行されます。これはすべて期待どおりに機能します。
ただし、何らかの理由でshell_scriptの実行が終了しない場合があるため、次の質問があります。
x時間実行した後、shell_script.shを終了するにはどうすればよいですか?これはPHP自体で何らかの方法で処理する必要がありますか(この場合は可能だとは思わないでください)、それとも.sh自体で処理する必要がありますか?
したがって、直後:
#!/bin/bash
.shの先頭で、実行時間がたとえば20秒を超えた場合に、.shを終了させることができるものはありますか?