diff options
| author | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-29 18:34:26 +0200 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2017-08-29 18:34:26 +0200 |
| commit | 7d598d4a706e06e7e89218ca9ae071dd630cb2b3 (patch) | |
| tree | a533c39bd42c9cbdb482ff210378b797c77b9e6e /src/tools/irm | |
| parent | 706de5704f4d61929bbbb87d8d667ba68fcffc7d (diff) | |
| download | ouroboros-7d598d4a706e06e7e89218ca9ae071dd630cb2b3.tar.gz ouroboros-7d598d4a706e06e7e89218ca9ae071dd630cb2b3.zip | |
irmd: Fix deleting corrupt shm file
This will delete the rdrbuff also when it has been corrupted
before. Otherwise the irmd won't start, as experienced on my desktop.
Diffstat (limited to 'src/tools/irm')
0 files changed, 0 insertions, 0 deletions