piston/docker/executors/php

4 lines
36 B
Plaintext
Raw Normal View History

2018-09-22 08:11:53 +02:00
#!/bin/sh
timeout -s KILL 3 php $*