carta

WebKDC::WebKDCException(3pm) on Linux

The text fddc915351ea, as Debian 4.0 (Etch) shipped it.

exceptions for WebKDC

WebKDC::WebKDCException(3pm) on Linux now