3 Commits

Author	SHA1	Message	Date
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