public static mame_machine_manager instance(emu_options options, osd_interface osd)
{
if (s_manager == null)
{
s_manager = new mame_machine_manager(options, osd);
}
return(s_manager);
}
favorite_manager m_favorite; // internal data from inifile.c for favorites
// construction/destruction
//-------------------------------------------------
// mame_machine_manager - constructor
//-------------------------------------------------
mame_machine_manager(emu_options options, osd_interface osd)
: base(options, osd)
{
m_plugins = new plugin_options();
m_lua = new lua_engine();
m_new_driver_pending = null;
m_firstrun = true;
m_autoboot_timer = null;
}
public static int start_frontend(emu_options options, osd_interface osd, std.vector <string> args)
{
cli_frontend frontend = new cli_frontend(options, osd);
return(frontend.execute(args));
}
// construction/destruction
protected machine_manager(emu_options options, osd_interface osd)
{
m_osd = osd;
m_options = options;
m_machine = null;
}
