1
0
Fork 0

Fix phpstan error

pull/8948/head
Jordi Boggiano 2020-06-03 15:41:47 +02:00
parent 90bd351b8b
commit 816d8e9d1b
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
2 changed files with 2 additions and 2 deletions

View File

@ -375,7 +375,7 @@ EOT
$fs = new Filesystem();
$fs->removeDirectory($realDir);
exit(130);
});
}, true);
}
}

View File

@ -218,7 +218,7 @@ class InstallationManager
exit(130);
};
sapi_windows_set_ctrl_handler($windowsHandler);
sapi_windows_set_ctrl_handler($windowsHandler, true);
}
try {