diff options
| author |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2022-02-05 13:23:44 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2022-02-05 13:23:44 +0100 |
| commit | e28a2e320eb40c777d476bd0e6d06fe6b73d3455 (patch) | |
| tree | 538a5a17637a0edc2fc58fa531d0a050b4b0c069 /cli/i18n | |
| parent | 9224668285d47830830abd0f123650cadea79f80 (diff) | |
i18n CLI improve parsing (#4197)
https://github.com/FreshRSS/FreshRSS/pull/3932#discussion_r800043744
Diffstat (limited to 'cli/i18n')
| -rw-r--r-- | cli/i18n/I18nFile.php | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/cli/i18n/I18nFile.php b/cli/i18n/I18nFile.php index ef8f8776e..a7045459c 100644 --- a/cli/i18n/I18nFile.php +++ b/cli/i18n/I18nFile.php @@ -54,16 +54,24 @@ class I18nFile { $content = str_replace('<?php', '', $content); $content = preg_replace([ - "#',\s*//\s*TODO#i", - "#',\s*//\s*DIRTY#i", - "#',\s*//\s*IGNORE#i", + "#',\s*//\s*TODO.*#i", + "#',\s*//\s*DIRTY.*#i", + "#',\s*//\s*IGNORE.*#i", ], [ ' -> todo\',', ' -> dirty\',', ' -> ignore\',', ], $content); - $content = eval($content); + try { + $content = eval($content); + } catch (ParseError $ex) { + if (defined('STDERR')) { + fwrite(STDERR, "Error while processing: $filename\n"); + fwrite(STDERR, $ex); + } + die(1); + } if (is_array($content)) { return $content; |