Skip to content
Snippets Groups Projects

profiling: support writing profiles to a directory

Open Arun Kulshreshtha requested to merge topic/default/profiling-output-dir into branch/default
+ 2
2
@@ -301,5 +301,5 @@
)
pid = os.getpid()
timestamp = encoding.strtolocal(
datetime.datetime.utcnow().isoformat()
datetime.datetime.utcnow().strftime("%Y%m%dT%H%M%S%fZ")
)
@@ -305,5 +305,5 @@
)
filename = b"hg-profile-%sZ-%d" % (timestamp, pid)
filename = b"hg-profile-%s-%d" % (timestamp, pid)
self._output = os.path.join(output_dir, filename)
try:
Loading