diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2016-05-03 15:28:47 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2016-05-03 15:28:47 -0400 |
| commit | 21f5dcccff08d570c817b9fa2e03c5e87b26fc17 (patch) | |
| tree | eecb5a736fd2ca9a71ab7784a480c6d2e16485d7 /doc | |
| parent | 4d079dd018932aa0d26fb8e2d859ce732656cb30 (diff) | |
response
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. +"""]] |