# $Id$ redef pkt_profile_file = open_log_file("pkt-prof"); redef pkt_profile_mode = PKT_PROFILE_MODE_SECS; redef pkt_profile_freq = 1.0;