Markus Kuhn - 2009-06-13

patch for src/krb5ticketwatcher.cpp (current svn version)