jappixmini: prepare for safe updates of the addon

diff --git a/jappixmini/jappixmini.php b/jappixmini/jappixmini.php
index d09427e758c8797ae91b88a44809efaac47cc6e8..6ce7d7415f6f7fc7be33efc4da147057b1e92b31 100644 (file)
--- a/jappixmini/jappixmini.php
+++ b/jappixmini/jappixmini.php
@@ -80,7 +80,11 @@ if (!$info_text) set_config("jappixmini", "infotext",
 );
 
 $bosh_proxy = get_config("jappixmini", "bosh_proxy");
-if ($bosh_proxy==="") set_config("jappixmini", "bosh_proxy", 1);
+if ($bosh_proxy==="") set_config("jappixmini", "bosh_proxy", "1");
+
+// set addon version so that safe updates are possible later
+$addon_version = get_config("jappixmini", "version");
+if ($addon_version==="") set_config("jappixmini", "version", "1");
 }