diff options
| author | Wilmer van der Gaast <wilmer@gaast.net> | 2010-07-01 00:30:27 +0100 |
|---|---|---|
| committer | Wilmer van der Gaast <wilmer@gaast.net> | 2010-07-01 00:30:27 +0100 |
| commit | 06f9548d5f3b0909c8cdbd092dd3118c661be67b (patch) | |
| tree | 7aab5568cd13e756f73f8d35ee10e0dcaf2b642b /doc/user-guide | |
| parent | 9052bc147b30a08c8df6799df09b01f922c10be7 (diff) | |
Disable the code added in the previous change during shutdown, since it's
pointless at that stage and may cause crashes.
Diffstat (limited to 'doc/user-guide')
0 files changed, 0 insertions, 0 deletions