mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-18 02:41:09 +00:00
7c38e48c1f
Bug: 71931 Change-Id: I3b40ab821cafccc30563baa031212f2a24a167a1
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"
|
|
|