-
Dimitris Lampridis authored
Before we were not calling the proper close() function in the destructor of the TrtlDevice object. We were also also not checking that the device handle (token) was defined before using it. Last but not least, we were not wrapping the device handle as a Python Ctypes 'c_void_p', which caused Ctypes to convert it to a 32-bit int, pointing to nowhere in a 64-bit system.
aef493d7