public function notice($message, $name = "NOTICE") { $this->send($message, \LogLevel::NOTICE, $name, TextFormat::AQUA); }
//And then, look the offset up. //timezone_name_from_abbr is not used because it returns false on some(most) offsets because it's mapping function is weird. //That's been a bug in PHP since 2008! foreach (\timezone_abbreviations_list() as $zones) { foreach ($zones as $timezone) { if ($timezone['offset'] == $offset) { return $timezone['timezone_id']; } } } return \false; } if (isset($opts["enable-profiler"])) { if (\function_exists("profiler_enable")) { \profiler_enable(); $logger->notice("Execution is being profiled"); } else { $logger->notice("No profiler found. Please install https://github.com/krakjoe/profiler"); } } function kill($pid) { switch (Utils::getOS()) { case "win": \exec("taskkill.exe /F /PID " . (int) $pid . " > NUL"); break; case "mac": case "linux": default: \exec("kill -9 " . (int) $pid . " > /dev/null 2>&1"); }