device_get_id.gml

var generate_uuid = true;
var fname_uuid = "uuid.ini";

ini_open(fname_uuid);
global.uuid = ini_read_string("generated", "uuid", "unknown");
ini_close();

if (global.uuid == noone or global.uuid == "unknown")
{
	show_debug_message("no good: " + global.uuid);
	generate_uuid = true;
}
else
	generate_uuid = false;

if (generate_uuid)
{
	randomize();
	
	global.uuid = uuid_generate();
	ini_open(fname_uuid);
	ini_write_string("generated", "uuid", global.uuid);
	ini_close();
}

return global.uuid;