1
0
Fork 0
mirror of https://github.com/engineer-man/piston.git synced 2025-05-12 22:56:27 +02:00
piston/docker/executors/php
2018-09-22 01:11:53 -05:00

3 lines
36 B
Bash

#!/bin/sh
timeout -s KILL 3 php $*