> What is the command to set user credentials, PO2013 book > mentions user initials are typically used as station names? System.SetUser username password ~ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.inf.ethz.ch/pipermail/oberon/attachments/20180417/3f16aba1/attachment.html>