public class Launcher
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CACHE_DIR_KEY
Name for a system property that will hold the path to the .ignition folder
|
static java.lang.String |
VERSION_STRING |
Constructor and Description |
---|
Launcher(LauncherParent parent,
LaunchParent launchParent) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getCacheDir() |
static LaunchSpec |
getJNLPLaunchSpec(LauncherParent parent)
Creates the LaunchSpec from the LauncherParent's LaunchProperties (JNLP file/Applet properties)
|
LaunchSpec |
getLastSpec() |
static boolean |
isFirstLaunch() |
static void |
notifyLaunchFinished() |
void |
restartLauncher()
Restarts the Launcher with the last LaunchSpec that was set.
|
void |
startLauncher(LaunchSpec spec) |
void |
startLauncherInitial()
Uses the arguments from the LauncherParent to start the launcher either from direct args (JNLP) or from retarget
params
|
void |
startLauncherInitial(java.lang.String username,
java.lang.String password)
Special version of startLauncherInitial that takes credentials, in case the launcher has some sort of
single-sign-on (SSO) system that lets it know credentials beforehand.
|
public static final java.lang.String VERSION_STRING
public static final java.lang.String CACHE_DIR_KEY
public Launcher(LauncherParent parent, LaunchParent launchParent) throws LaunchException
LaunchException
public java.io.File getCacheDir()
public static boolean isFirstLaunch()
public static void notifyLaunchFinished()
public static LaunchSpec getJNLPLaunchSpec(LauncherParent parent) throws LaunchException
LaunchException
public void restartLauncher() throws LaunchException
LaunchException
public LaunchSpec getLastSpec()
public void startLauncherInitial() throws LaunchException
LaunchException
public void startLauncherInitial(java.lang.String username, java.lang.String password) throws LaunchException
LaunchException
public void startLauncher(LaunchSpec spec) throws LaunchException
LaunchException