mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-11 16:06:02 +00:00
1eecdac6de
Change-Id: I6d730d67decc859fd130fee5ec92b1cfb8d9ef64
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"
|
|
|