trunk: changeset 1627
trunk: changeset 1627

Fixed problem allocating names that already contain something that
looks like an instance number.

darcs-hash:20040723193428-e481e-7ca6516408eaf6c0513db60468dcff66c2294263.gz

raboof/notion,raboof/notion,dkogan/notion.xfttest,knixeur/notion,dkogan/notion,dkogan/notion,dkogan/notion,dkogan/notion.xfttest,neg-serg/notion,p5n/notion,anoduck/notion,dkogan/notion.xfttest,neg-serg/notion,p5n/notion,knixeur/notion,dkogan/notion,knixeur/notion,anoduck/notion,neg-serg/notion,p5n/notion,anoduck/notion,dkogan/notion,anoduck/notion,knixeur/notion,anoduck/notion,knixeur/notion,dkogan/notion.xfttest,raboof/notion,p5n/notion,p5n/notion,raboof/notion,neg-serg/notion