7 Commits

Author	SHA1	Message	Date
rakshasa	ef937863fd	Removed unused code.	2024-11-13 18:59:57 +09:00
nicholi	765665fc28	When opening log files use new append parameter. Also added append_gz_file command.	2019-07-26 01:03:57 -07:00
nicholi	5f70986099	Added log.append_file.	2019-07-24 00:46:17 -07:00
rakshasa	a5e8631cba	Added log.close.	2019-07-17 19:41:23 +02:00
rakshasa	7343e33a6a	Added 'log.open_file_pid' and 'log.open_gz_file_pid' commands that appends the pid automatically.	2014-11-04 23:34:51 +09:00
rakshasa	e3cc2c601d	Use a generic function for logging and allow output groups to be appended. ... log.open_file = "instrumentation_memory.log", "/foo/instrumentation_memory.log", "instrumentation_memory", ...	2014-11-04 22:46:35 +09:00
rakshasa	3cf9cffe68	Moved logging commands to a separate file.	2014-11-04 19:48:55 +09:00