Fixed closing unused PID handles

This commit is contained in:
Klaus Schmidinger
2002-11-15 14:04:11 +01:00
parent 5198be3187
commit 2f49224c9c
3 changed files with 12 additions and 8 deletions

View File

@@ -466,3 +466,6 @@ Steffen Barszus <st_barszus@gmx.de>
Peter Seyringer <e9425234@student.tuwien.ac.at>
for reporting a bug in saving the polarization parameter of channels that have a
number in the 'source' parameter
Stefan Schluenss <dxr3_osd@schluenss.de>
for reporting a bug where PID handles were not closed correctly