diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-09-20 09:50:10 +0200 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-09-20 11:46:49 +0200 |
| commit | 6221d249d1f03d235a23a284c597c86676b32d2f (patch) | |
| tree | 3582aa87859ab5e03edecd354233ba1bfa674769 /src/random-seed | |
| parent | a3eabec96b872bbf581c9bfa81ecc9c2819b8de8 (diff) | |
terminal: grdev: refresh device state on hotplug events
Whenever we get udev hotplug events, re-read the device state so we
properly detect any changed in the display setups.
Diffstat (limited to 'src/random-seed')
0 files changed, 0 insertions, 0 deletions