[
https://jira.jboss.org/browse/JBIDE-4646?page=com.atlassian.jira.plugin.s...
]
Denny Xu commented on JBIDE-4646:
---------------------------------
Jervis is on vacation.
I guess Joao means that the operation to change/edit repository connection equals Drop
the connection and create a new connection with the new changed value, so nothing need to
be done for the already checked out resources.
Joao, do you have any comments?
Add option to edit Guvnor repository connection in Guvnor Repository
--------------------------------------------------------------------
Key: JBIDE-4646
URL:
https://jira.jboss.org/browse/JBIDE-4646
Project: Tools (JBoss Tools)
Issue Type: Feature Request
Components: drools
Environment: JBDS 2.0.0 GA
Reporter: Joao Paulo Viragine
Assignee: Denny Xu
Fix For: LATER
Original Estimate: 0 minutes
Remaining Estimate: 0 minutes
Add option to edit Guvnor repository connection in Guvnor Repository.
Guvnor repository doesn't have an option to change/edit repository connection.
We need to drop and create a new repository connection.
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
https://jira.jboss.org/secure/Administrators.jspa
-
For more information on JIRA, see:
http://www.atlassian.com/software/jira