diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2017-06-16 14:23:51 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-06-16 17:08:22 +0200 |
| commit | f4453df9a5742ef47cad79254b33bfaa1ff15d24 (patch) | |
| tree | e4f598aa498511524059fc01bdcf1ad3fb2d8d62 /etc | |
| parent | d27cc3bfaafe6b5b0831e88afb1c46311d382a0b (diff) | |
| download | guix-patches-f4453df9a5742ef47cad79254b33bfaa1ff15d24.tar guix-patches-f4453df9a5742ef47cad79254b33bfaa1ff15d24.tar.gz | |
store: Add an RPC counter.
* guix/store.scm (%rpc-calls): New variable.
(show-rpc-profile, record-operation): New procedures.
(operation): Add call to 'record-operation'.
* guix/ui.scm (run-guix-command): Wrap COMMAND-MAIN in 'dynamic-wind'.
Run EXIT-HOOK.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions