- if (!file_exists("addon/jappixmini/jappix")) {
- $o .= '<p><strong>You need to install the Jappix application (see README).</strong></p>';
- }
- else if (file_exists("addon/jappixmini/jappix/index.php")) {
- // try to delete automatically
- try {
- unlink("addon/jappixmini/jappix/index.php");
- }
- catch (Exception $e) {}
-
- // warn admin if this is not possible
- if (file_exists("addon/jappixmini/jappix/index.php"))
- $o .= '<p><strong style="color:#fff;background-color:#f00">You must delete addon/jappixmini/jappix/index.php (see README).</strong></p>';
- else {
- info("Deleted addon/jappixmini/jappix/index.php automatically.");
- $o .= '<p>Jappix is installed.</p>';
- }
- }
- else if (!file_exists("addon/jappixmini/jappix.zip")) {
- $o .= '<p><strong style="color:#fff;background-color:#f00">The source archive jappix.zip does not exist. This is probably a violation of the Jappix License (see README).</strong></p>';
- }
- else {
- $o .= '<p>Jappix is installed.</p>';
+ if (!file_exists("addon/jappixmini.tgz")) {
+ $o .= '<p><strong style="color:#fff;background-color:#f00">The source archive jappixmini.tgz does not exist. This is probably a violation of the Jappix License (AGPL).</strong></p>';