diff options
| author | Klaus Schmidinger <vdr@tvdr.de> | 2018-07-16 08:55:15 +0200 |
|---|---|---|
| committer | Klaus Schmidinger <vdr@tvdr.de> | 2018-07-16 08:55:15 +0200 |
| commit | 5543f130510fba24c369d04a515415024be331b9 (patch) | |
| tree | be2214fcadf8e9f31a7c41136de4a3f56c60d4f0 /tools.h | |
| parent | 30eb01ef3792e3fb75eabc34e8258d66197ec75d (diff) | |
| download | vdr-5543f130510fba24c369d04a515415024be331b9.tar.gz vdr-5543f130510fba24c369d04a515415024be331b9.tar.bz2 | |
Fixed shutdown after user inactivity in case a plugin is keeping the OSD open
Diffstat (limited to 'tools.h')
0 files changed, 0 insertions, 0 deletions