tango-controls / jive

Jive is a standalone JAVA application designed to browse and edit the static TANGO database. jive moved to https://gitlab.com/tango-controls/jive
10 stars 6 forks source link

Rename server name should be case sensitive #43

Closed tango-controls-bot closed 7 years ago

tango-controls-bot commented 13 years ago

Rename server name should be case sensitive as this name define the executable name.

Reported by: vince_soleil ( http://sf.net/u/vince_soleil )

Original Ticket: tango-cs/bugs/367

tango-controls-bot commented 13 years ago

Original comment by: JeanLucPons (http://sourceforge.net/u/jlpons)