Preferences window
This commit is contained in:
2019-05-07 23:44:05 -07:00
parent 7258a2207f
commit a7b769113b
6 changed files with 243 additions and 93 deletions

View File

@@ -96,13 +96,16 @@ addline(exec("sw_vers | grep ProductVersion"));
array_shift($argv);
if(count($argv) == 0) {
if (!$p['disable_prefs'] && strpos(__FILE__,".app")) {
exec($p['phpbin']." ".__DIR__."/MinatPrefs.php");
}
addline("Launch without argv");
die;
}
if ($argv[0] == "Preferences...") {
exec($p['phpbin']." ".__DIR__."/MinatPrefs.php");
addline("Launch preferences");
die;
}
$stamp = md5(serialize($argv))."_".time();
$workdir = $p['workdir'].$stamp."/";
$batchfile = $workdir.$stamp.".sh";