Code: 160eh12805325690

jetzt einlösen!

Der Gutschein ist nur für Neukunden gültig.

Weitere aktuelle netcup Gutscheine abstauben!

if (GZIP) {
	response.setHeader("Content-Encoding", "gzip");
	GZIPOutputStream out = new GZIPOutputStream(response.getOutputStream());
	out.write(result.toJSONString().getBytes());
	out.flush();
	out.close();
} else {
	PrintWriter out = response.getWriter();
	out.write(result.toJSONString());
	out.flush();
	out.close();
}

Mein Workaround ist ein Watchdog Script welches auf den Jetty aufpasst. Mit dem Script wird jede Minute geschaut, ob der Jetty noch läuft. Falls der Server nicht läuft aber eine Jetty PID existiert, wird der Jetty gestartet. Falls der Server nicht läuft und keine PID existiert, wird der Jetty nicht gestartet, da er dann wohl absichtlich gestoppt wurde.

#!/bin/bash
start="/etc/init.d/jetty start"
check="opt/jetty/start.jar"
pid="/var/run/jetty.pid"

# check if the pid file is in place.
if [ -f $pid ]; then

        found=`ps -ef|grep -v grep|grep ${check}|awk '{print $8}'`

        if [ ! -s found ]; then
                ${start}
                exit
        fi
fi

exit