index 614110270add01ed5a2464755993dca55259e793..48bd752ca23c487640eab7904ec620e24b124b56 100644 (file)
CopyAssets.copyAssets(SDL.getContext(), "instruments");
CopyAssets.copyAssets(SDL.getContext(), "timidity.cfg");
}
+
+ @Override
+ protected void onDestroy() {
+ super.onDestroy();
+
+ /* This will fix bug #31 and may be #32 */
+ System.exit(0);
+ }
}