| branch | noai |
| changeset 9544 | 54705d209c44 |
| parent 9514 | e31710af1ca0 |
| child 9574 | 698395509d12 |
| 9543:609e870e3aa4 | 9544:54705d209c44 |
|---|---|
335 |
335 |
336 /** Virtual destructor to allow 'delete' operator to work properly. */ |
336 /** Virtual destructor to allow 'delete' operator to work properly. */ |
337 /*virtual*/ ~ThreadObject_Win32() |
337 /*virtual*/ ~ThreadObject_Win32() |
338 { |
338 { |
339 if (m_h_thr != NULL) { |
339 if (m_h_thr != NULL) { |
340 assert(m_attached || !IsRunning()); |
|
341 CloseHandle(m_h_thr); |
340 CloseHandle(m_h_thr); |
342 m_h_thr = NULL; |
341 m_h_thr = NULL; |
343 } |
342 } |
344 } |
343 } |
345 |
344 |