diff options
| author | eplanet <emeric.planet@gmail.com> | 2016-10-11 22:40:51 +0200 |
|---|---|---|
| committer | Michael Stapelberg <stapelberg@users.noreply.github.com> | 2016-10-11 13:40:51 -0700 |
| commit | d2130092cf588c02d7a0e74c0de85dc261b6823b (patch) | |
| tree | e31a2c0b2d8dfb791cfad874f12b1d41be36a68c /debian/source/format | |
| parent | 1c97a8484723b7db6c96c3b7bfa4c86c26f47b5a (diff) | |
Display error message when locking failed (#99)
To give a feedback for when the pointer couldn't be grabbed,
displaying an error message before exiting.
Diffstat (limited to 'debian/source/format')
0 files changed, 0 insertions, 0 deletions