// 2019-09-25 if(!check_function_exists("decode_colona_format") { function decode_colona_format($data) { $lines = split_by_line($data); $jobargs = array(); $eof = false; $delimiter = ":"; $jobkey = ""; $jobvalue = ""; foreach($lines as $line) { $pos = strpos($line, $delimiter); if($pos !== false) { $jobkey = rtrim(substr($line, 0, $pos)); $jobvalue = ltrim(substr($line, $pos + strlen($delimiter))); if($jobvalue == "<<