/** * 设置同步间隔 * * @param unknown_type $time */ public static function set_interval_time($time) { self::$interval_time = $time; }