#!/bin/sh
wget -q --spider https://server.schooltech.de/ || exit 1
exit $?