Robert Gering

Tesla Sounds

Publiziert am 16. Dezember 2011 von admin

Veröffentlicht unter Fun, Videos | Hinterlasse einen Kommentar

Neuer netcup Gutschein für Neukunden

Publiziert am 18. November 2011 von admin

10 Euro Rabatt im Shop von netcup

Code: 160eh12805325690

jetzt einlösen!

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

Veröffentlicht unter Uncategorized | Verschlagwortet mit Gutschein, netcup, Neukunden | Hinterlasse einen Kommentar

Um einem HTTP Client eine komprimierte GZIP Antwort zu schicken, muss man im Fall eines Jetty Servers im Servlet selbst Hand anlegen. Doch zum Glück ist alles vorhanden und kann leicht in den bestehenden Code eingebaut werden. Statt einen gewöhnlichen PrintWriter oder OutputStream, nimmt man nun den GZIPOutputStream. Zudem sollte man daran denken das Content-Encoding im Response-Header auf “gzip“ zu setzen.

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();
}

Veröffentlicht unter Tutorials | Verschlagwortet mit java, Jetty, servlet | Hinterlasse einen Kommentar

Watchdog Script für Jetty 7.0.2

Publiziert am 29. September 2011 von admin

Der Jetty Webserver in der Version 7.0.2 kommt mit automatischen Deploys von großen WAR-Files nicht zurecht. Dauert der Upload der WAR-File länger als das Rescaninterval des Jetty-WAR-Deployers, so stürzt die Java-VM ab. Das liegt wieder mal an einer Linux-Lib für die Dekomprimierung der WAR-Files. Da der Jetty Webserver keine Exception schmeißt sondern samt VM untergeht, gibt es an der Stelle auch keine Chance eine Exception zu fangen, oder einen Log des Fehlers zu sehen.

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