", $dot); $dot_filename = md5( $dot) . ".dot"; $filename="$Dot_ServerRoot/$Dot_Files/$dot_filename"; if (! file_exists($filename)) { $dot_file = fopen($filename,"wb"); fputs( $dot_file, $dot); } if (($Dot_method=="dot") and (! file_exists("$filename.png"))) exec("dot -Tpng $filename -o $filename.png"); // graph processing if ($Dot_method=="dot") $return="$Dot_Web/$Dot_Files/$dot_filename.png"; else $return="$Dot_Web/$Dot/$Dot_Files/$dot_filename.png"; return "[=$return=]\n$return"; } ?>