Closed teetak01 closed 7 years ago
Adding missing pal_destroy() to destructor.
@kuggenhoffen and me noticed that the pal_destroy() was not called in the end. Might also need another pal_destroy() elsewhere.
Moved the pal_destroy as last call.
Adding missing pal_destroy() to destructor.