Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!ukma!uflorida!mephisto!daffy!gil
From: gil@daffy.gatech.edu (Gil Neiger)
Newsgroups: comp.sys.next
Subject: Bug in Workspace/Browser (name expansion)
Message-ID: <19360@mephisto.UUCP>
Date: 4 Dec 89 16:11:26 GMT
Sender: news@mephisto.UUCP
Reply-To: gil@daffy.gatech.edu (Gil Neiger)
Distribution: na
Organization: ICS Department, Georgia Institute of Technology
Lines: 28

There seems to be a bug in the name expansion facilty of the
Directory Browser supplied by Workspace.  The bug involves the
parsing of path names with two consecutive slashes in them.

For example, suppose that the following is a legal path on my
machine:

	/gil/mail/in

If I type the following to my browser for name expansion
(with no carriage return)

	/g<ESC>/m<ESC>//i<ESC>

it correctly responds with the path

	/gil/mail//in

(i.e., it knows to parse the double slash to a single one).  However,
if I then hit return, Workspace kills all my applications and logs
me out.

I don't feel that the browser must correctly parse redundant slashes
(it was a typo), but I don't think killing all applications and
logging out the user is an appropriate response.

					- Gil Neiger
					gil@gatech.edu