Re: vm shortname patch

[Tom Tromey]

>>>>> "Jeroen" == Jeroen Frijters <address@hidden> writes:

Jeroen> Would it be possible (and make sense) to use URLs for the
Jeroen> individual properties? In the current solution there is no way
Jeroen> for an end user to override just the location of the .security
Jeroen> file (for example).

Under what conditions would someone use this?

I don't have strong feelings about it.  If there's a second person in
favor of it, I'll implement it (after the holidays...).

Tom