import de.rico.adventure.enums.State;
import de.rico.adventure.actions.*;
import de.rico.adventure.actions.custom.*;
import de.rico.adventure.actions.custom.concurrent.*;

import de.rico.engine.path.*;
import de.rico.engine.effect.sound.*;
import de.rico.engine.camera.recorder.*;

musik_credits = null;

creditsOnEnter()
{
	musik_credits = new Mp3Sound("./sounds/music/credits.mp3",true);
	musik_credits.play();

	scheduler.add(new PlayCameraFlight("./locations/screens/credits.rec"));

	// beenden
	scheduler.add(new RunCode("System.exit(0)",fortsetzung.getScriptInterpreter()));
}

creditsOnExit()
{
	musik_credits.stop();
}

