Neue Version von Weblin für Android auf Grund des gestrigen Serverausfalls.

Nach dem gestrigen Servercrash war es nötig schnellstens eine neue Version (0.13) zu veröffentlichen. Wie ich schon bei Google Plus schrieb hatte ich das ermitteln der Raumadresse etwas anders gelöst. Dies geschah vor allem um die zu empfangenden Datenmengen zu Verringern. Da die entsprechende Webseite zur Zeit eben nicht erreichbar ist, laufen die bisherigen Versionen nicht mehr. Zur Zeit ist der Server immer noch down, aber die XML Dateien zum Mapping sind wenigstens erreichbar seit gestern Abend.

Die App wertet diese Dateien nun selbst aus, leider erhöht sich dadurch bei jedem Raumwechsel die übertragende Datenmenge um bis zum 10fachen der urspünglichen Lösung. Ich habe diese alte Lösung allerdings in der App gelassen, so dass, wenn der Server wieder komplett funktionieren sollte, sich das Datenvolumen wieder verringert. Zusätzlich habe ich noch eine 3. Lösung in der App. Diese bildet die Raumadressen komplett selbständig, ohne eine Datenabfrage von Servern ab, gibt aber bei einigen Webseiten andere Adressen aus als die originalen. Dies könnte man verhindern wenn man alle XML-Dateien in die App integrieren würde, aber erstens kenne ich nicht alle und zweitens würde dies die App nur unnötigerweise vergrößern. In meinem neuen Mapping ist das Embedded Mapping ( siehe 5.2  VPI in HTML Documents in VPTN-2, Original, wenn nicht erreichbar: Kopie) noch nicht integriert. Ich gehe mal davon aus, dass dies noch niemand auf seiner Webseite so integriert hat. Ich werde diese Möglichkeit aber in einer späteren Version nachholen.

Desweiteren sind in der App einige Fehler beseitigt. Geräte mit Honeycomb oder höher die kein GSM besitzen stürzten in den Netzwerkeinstellungen ab. Desweiteren war bei Geräten mit Android 3.0 (Honeycomb) und höher auf Grund der fehlenden Suchtaste der Wechsel in andere Räume und Lounges der Webseite nicht mehr möglich. Dies wurde geändert durch einen zusätzlichen Menüpunkt Raumliste.