protected void onDestroy() {
try {
backend.closeConnections(); // if application is closed, close connections to server
if (openGLRenderer != null) {
openGLRenderer.locating = false;
}
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
} catch (IOException e) {
e.printStackTrace();
}
super.onDestroy();
if (mp != null) mp.release(); // Mediaplayer release;
mp = null;
}
public void changeZoom(View view) {
backend.changeZoom();
}