diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/forum/time_profiling_the_assistant/comment_1_0227d9c0db24c6abadfe091f92848ec6._comment | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/forum/time_profiling_the_assistant/comment_1_0227d9c0db24c6abadfe091f92848ec6._comment b/doc/forum/time_profiling_the_assistant/comment_1_0227d9c0db24c6abadfe091f92848ec6._comment new file mode 100644 index 000000000..63971d291 --- /dev/null +++ b/doc/forum/time_profiling_the_assistant/comment_1_0227d9c0db24c6abadfe091f92848ec6._comment @@ -0,0 +1,16 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2016-05-03T19:23:59Z" + content=""" +The assistant is stopped by sending it a TERM signal. Seems that the RTS +does not save profiling on TERM. + +Try manually sending it an INT signal instead. The RTS does save profiling +when the program is ctrl-c'd. + +I'd probably just run git annex assistant --foreground and then ctrl-c it. + +There's also a cabal flag to enable EKG, so you can watch pretty graphs in +a web browser while it's running. +"""]] |