[patch] patch to init script

postgres.init.patch (text/plain), 455 bytes, created by Vanni Della Ricca on 2019-12-10 14:53:13 UTC

--- postgresql-11-20191210	2019-12-10 16:53:39.000000000 +0100
+++ postgresql-11	2019-12-10 17:40:02.000000000 +0100
@@ -86,6 +86,9 @@
 
     rm -f "${DATA_DIR%/}/postmaster.pid"
 
+    if [ ${PG_MASTER_OOM_ADJUST} ] ; then
+	echo ${PG_MASTER_OOM_ADJUST} > /proc/self/oom_score_adj
+    fi
     su - postgres -c \
        "PGPORT=${configured_port} ${PG_EXTRA_ENV} ${PG_CTL} start \
            -s -w -t ${START_TIMEOUT} -l ${DATA_DIR%/}/postmaster.log \