mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-11 07:56:10 +00:00
1fad4da137
Change-Id: Ida2c9cac348fe31ecf8d8c0a352e899bcbff1ebf
8 lines
68 B
Bash
Executable file
8 lines
68 B
Bash
Executable file
#!/bin/sh
|
|
|
|
ulimit -St $1
|
|
ulimit -Ht $2
|
|
ulimit -v $3
|
|
eval "exec $4"
|
|
|