else
();
if isWaklog node then
- (TextIO.output (file, "\n\tWaklogProtected on\n\tWaklogPrincipal ");
+ (TextIO.output (file, "\n\tWaklogEnabled on\n\tWaklogLocationPrincipal ");
TextIO.output (file, user);
TextIO.output (file, "/daemon@HCOOP.NET /etc/keytabs/user.daemon/");
TextIO.output (file, user))