diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-10-16T21·36+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-10-16T21·36+0200 |
| commit | 79e358ce6d2a2c34f365c24d68ddbab7461380f8 (patch) | |
| tree | 62a7ca153cb1021bcebeb58776ceaacc3efc616e /doc/manual/local.mk | |
| parent | ba51100d64c18f627f97e606c4884ba2fb78dfa0 (diff) | |
RemoteStore: Close connection if an exception occurs
Fixes #2075.
Diffstat (limited to 'doc/manual/local.mk')
0 files changed, 0 insertions, 0 deletions