How to unexport my Pytango device servers

Hi Anton,

Thanks for the info. I will wait until 10.1.0 then. Meanwhile, I fixed the issue in the Bash wrapper script that I always use around Python device servers. In the sigterm handler of that script, I simply call python -c 'import tango as t; t.Database().unexport_server(<server/instance>)'. This works just fine.

Regards,
Andre