diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-20 11:15:19 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-20 11:15:19 +0100 |
| commit | 85f10a86ff8ea2c441783396bd2dc880a9daf3e5 (patch) | |
| tree | a3ce55dce408378fb37333b0970d89e95c493208 /src/json/json.c | |
| parent | 72293a25ac5a989d982548fceba1c8ab5b8aba07 (diff) | |
handle case where get_session() is called from main, i.e. in combination with -f option
Diffstat (limited to 'src/json/json.c')
0 files changed, 0 insertions, 0 deletions