Searched refs:uuidfile (Results 1 – 1 of 1) sorted by relevance
22 $uuidfile = DOKU_INC.'data/tmp/plugin_netlogo_uuid'; variable23 $uuid = file_get_contents($uuidfile);