@@ 15,6 15,9 @@
$clients = json_decode(file_get_contents("clients_{$os}.json"));
$lang = json_decode(file_get_contents("lang/en.json"));
$uri = $_SERVER['QUERY_STRING'];
+ if (substr($uri, 0, 7) == 'xmpp%3a') {
+ $uri = urldecode($uri);
+ }
if ( substr($uri, 0, 5) != "xmpp:") {
$uri = "xmpp:" . $uri;
}