Hi folks,
Is there a new or recommended way to get the real server name? We used to use env:servername, but that appears to have been removed at some point. I couldn't find a 'new way,' but I didn't want to write a plugin just for that yet without checking.
Martin B. Smith smithmb@ufl.edu - (352) 273-1374 CNS/Open Systems Group University of Florida
--- 8< --- detachments --- 8< --- The following attachments have been detached and are available for viewing. http://detached.gigo.com/rc/QV/5UpAEqxs/smime.p7s Only click these links if you trust the sender, as well as this message. --- 8< --- detachments --- 8< ---