> From: Sherlock, Ric
>
> > From: bill lam
> > Sent: Tuesday, 1 June 2010 11:47
> >
...
> * jhostname sounds like it is dependent on the host but wouldn't be
> for option two.
>
> In fact it might be worthwhile retaining jhostname in J7 defined as:
> jhostname=: ('\/'{~5= 9!:12 '') & (I.@(e.&'/\')@] })
> for situations when a host dependent path is required.
Where I say jhostname, I actually mean jhostpath. Sorry for any confusion.
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
