diff options
-rwxr-xr-x | boot.php | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1785,6 +1785,10 @@ function info($s) { return; if(! x($_SESSION, 'sysmsg_info')) $_SESSION['sysmsg_info'] = array(); + + if(in_array($s, $_SESSION['sysmsg_info'])) + return; + if(App::$interactive) $_SESSION['sysmsg_info'][] = $s; } |