carta

WebKDC::WebKDCException(3pm) on Linux

The text 4d81f30251d3, as Debian 6.0 (Squeeze) shipped it.

exceptions for WebKDC

WebKDC::WebKDCException(3pm) on Linux now