diff options
| author | 2025-11-20 22:16:22 +0100 | |
|---|---|---|
| committer | 2025-11-20 22:16:22 +0100 | |
| commit | a7579e0cf5717e86fe954bd75f2625f8131120f7 (patch) | |
| tree | 478db6d05e3d11f153875a96879b88fe21b2382e /app/Controllers | |
| parent | d3cb23118c06336e94e07d9c3cc937ef9c5f34c0 (diff) | |
Catch lack of exec function for git update (#8228)
Diffstat (limited to 'app/Controllers')
| -rw-r--r-- | app/Controllers/updateController.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/app/Controllers/updateController.php b/app/Controllers/updateController.php index 98d552688..3adc96078 100644 --- a/app/Controllers/updateController.php +++ b/app/Controllers/updateController.php @@ -20,6 +20,11 @@ class FreshRSS_update_Controller extends FreshRSS_ActionController { 'Please git pull manually!'); } + if (!function_exists('exec')) { + throw new Minz_Exception('Error during git checkout: exec() function is disabled! ' . + 'Please git pull manually!'); + } + exec('git --version', $output, $return); if ($return != 0) { throw new Minz_Exception("Error {$return} git not found: Please update manually!"); |
