diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-03-16 21:48:33 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-03-16 21:48:33 +0000 |
| commit | be8464c9e6dbc81c7bd002bd5657611628a1357d (patch) | |
| tree | 8208f4ffdd111807184d1578a84b392d8caf2af9 /src/json/json_helper.c | |
| parent | 1b232edaaf7ea6f77d3246c390a43ac25fbd164b (diff) | |
| download | gnunet-be8464c9e6dbc81c7bd002bd5657611628a1357d.tar.gz gnunet-be8464c9e6dbc81c7bd002bd5657611628a1357d.zip | |
lock solver during shutdown to terminate faster
Diffstat (limited to 'src/json/json_helper.c')
0 files changed, 0 insertions, 0 deletions