add:  cancelInterval();  
context: function endSession (closeType){        // Occurs when the player chooses to close the current game.        switch (closeType)        {                case ("return"):                        // If the player has chosen to quit game and return to main menu,                        // End the session.                        endGame();                                                // Fade out current music and return to playing menu theme.                        curr_music = newRandomSound('music', 'menu');                        crossFade(curr_session_playlist_1, curr_music, 0.1);                                // janwas: greatly accelerate this timesink;                                // will be replaced soon by native version that doesn't block.                        // Swap GUIs to display main menu.                        guiSwitch ("sn", "pg");                break;                case ("exit"):                        // If the player has chosen to shutdown and immediately return to operating system,                        exit();                break;        }}
meta: 1070	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1070/8ad796b4855c73dd3ab3060e9e09b7a6b53a7a4b/functions_page_pregame_load.js/clean/binaries/data/mods/official/gui/test/functions_page_pregame_load.js