diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-06-03 14:27:05 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-06-03 14:27:05 +0200 |
| commit | 161fdf7340f1a461d936947a52ceb0de67239203 (patch) | |
| tree | fe2cfb4350ca5c431e47c56484160b139e45a89e /.github | |
| parent | e402348f9b24853f08f323fe6208bbd42d6ced49 (diff) | |
throw writeexecption in downloader if flush fails
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions