Missing "exit" on patch tool when patch is missing

Marius Cramer

2015-03-26 842bf55981aebd9a55d6330346769ea5b93f8e4b

 interface/web/admin/lib/lang/de_server_config.lng

@@ -262,4 +262,5 @@
$wb['php_ini_check_minutes_error_empty'] = 'Bitte geben Sie einen Wert an, wie oft die php.ini auf Änderungen geprüft werden soll.';
$wb['php_ini_check_minutes_info_txt'] = '0 = keine Prüfung';
$wb['php_handler_txt'] = 'Standard-PHP-Handler';
$wb['enable_spdy_txt'] = 'Stellt SPDY zur Verfügung';
?>