Merge remote-tracking branch 'ispc3master/master'

Dominik

2014-01-27 7bc0bcdf33dba22dcae84bd1d3e65898b742a4bc

 server/cron_daily.php

@@ -1,5 +1,5 @@
<?php

# the cron daily file is no longer used and was replaced by cron.php
// the cron daily file is no longer used and was replaced by cron.php

?>