Lines Matching refs:op_time
569 $main::op_time = time();3375 $binary_shortname, $main::op_time, $host);