Sébastien, Thank you for the patch, but I already asked the debian-release team to remove openvas-server from testing [1]. Openvas-server is replaced by openvas-scanner (available in experimental). I would suggest you do not dedicate too much time in it.
Some of openva-server's bugs (I believe this one also) are present in openvas-scanner and it would be best to fix them there. Best regards Javier [1] http://lists.debian.org/debian-release/2012/10/msg00729.html -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
