// 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($eof) { if($line == "EOF;") { $jobargs[$jobkey] = $jobvalue; $eof = false; } else { $jobvalue .= $line; } } elseif($pos !== false) { $jobkey = rtrim(substr($line, 0, $pos)); $jobvalue = ltrim(substr($line, $pos + strlen($delimiter))); if($jobvalue == "<<