diff options
Diffstat (limited to 'vendor/sabre/dav/bin/migrateto32.php')
-rwxr-xr-x[-rw-r--r--] | vendor/sabre/dav/bin/migrateto32.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vendor/sabre/dav/bin/migrateto32.php b/vendor/sabre/dav/bin/migrateto32.php index 57fd35507..09ac55d13 100644..100755 --- a/vendor/sabre/dav/bin/migrateto32.php +++ b/vendor/sabre/dav/bin/migrateto32.php @@ -75,7 +75,7 @@ switch ($driver) { break; default: echo 'Error: unsupported driver: '.$driver."\n"; - die(-1); + exit(-1); } echo "Creating 'calendarinstances'\n"; |