diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-01-23 13:07:06 +0100 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-01-23 13:07:06 +0100 |
| commit | 8c7b3746124eb8ced825a20ab8dd17b573d2e2c1 (patch) | |
| tree | f44928e8344be6b9faa6404fad6f74b74702958a /admin/WebConsole/rest | |
| parent | 1985678d44b366a1b98107241c3ae6e059a67499 (diff) | |
#834: More PHP/HTML/CSS code cleanup.
Diffstat (limited to 'admin/WebConsole/rest')
| -rw-r--r-- | admin/WebConsole/rest/common.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/WebConsole/rest/common.php b/admin/WebConsole/rest/common.php index bc39ced9..65ee5f80 100644 --- a/admin/WebConsole/rest/common.php +++ b/admin/WebConsole/rest/common.php @@ -248,6 +248,7 @@ $app->hook('slim.after', function() use ($app) { * @return JSON object with basic server information (version, services, etc.) */ $app->get('/info', function() { + $hasOglive = false; $response = new \stdClass; // Reading version file. $data = json_decode(@file_get_contents(VERSION_FILE)); |