diff options
| author | Shawn Pearce <sop@google.com> | 2010-12-07 08:40:11 -0800 |
|---|---|---|
| committer | Android Code Review <code-review@android.com> | 2010-12-07 08:40:11 -0800 |
| commit | ac445e3a67a6f9093f9e1bebda495d1496831b04 (patch) | |
| tree | 52ee11b061315c38ad89d7d87971d58be255b768 | |
| parent | 70f35ff38129514df26b49e972012c8d53d12568 (diff) | |
| parent | a32900fbc87878a808f2959419cb47a67600b672 (diff) | |
Merge "gerrit.sh: tell oom killer to respect us."
| -rwxr-xr-x | gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh b/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh index 2a4991ea63..96e7dbb290 100755 --- a/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh +++ b/gerrit-pgm/src/main/resources/com/google/gerrit/pgm/gerrit.sh @@ -425,6 +425,17 @@ case "$ACTION" in fi fi + if test $UID = 0; then + PID=`cat "$GERRIT_PID"` + if test -f "/proc/${PID}/oom_score_adj" ; then + echo -1000 > "/proc/${PID}/oom_score_adj" + else + if test -f "/proc/${PID}/oom_adj" ; then + echo -16 > "/proc/${PID}/oom_adj" + fi + fi + fi + TIMEOUT=90 # seconds sleep 1 while running "$GERRIT_PID" && test $TIMEOUT -gt 0 ; do |