Revision d3feae9b
ID | d3feae9b03d5c0e493a7ea4bf96787ccdc3d5084 |
Parent | 4eb305b7 |
Child | b3fa5d77 |
Bug #3818: Fix wrong polling in shutdown
Files
- added
- modified
- copied
- renamed
- deleted
ID | d3feae9b03d5c0e493a7ea4bf96787ccdc3d5084 |
Parent | 4eb305b7 |
Child | b3fa5d77 |
Added by Tino Vázquez about 6 years ago
Bug #3818: Fix wrong polling in shutdown