[TINKERPOP-1302] Ctrl-C should kill open remotes in Console

• Type: Improvement
• Status: Closed
• Priority: Major
• Resolution: Done
• Affects Version/s: 3.1.2-incubating
• Fix Version/s: 3.1.3, 3.2.1
• Component/s: console
• Assignee: Stephen Mallette
• Reporter: Stephen Mallette
• Created: 16/May/16 11:24
• Updated: 16/May/16 16:06
• Resolved: 16/May/16 16:06

Description

Ctrl-C kills the console but doesn't bother to shutdown open remotes which can lead to leaking connection in Gremlin Server. Gremlin Server will eventually shut those down on its end, but that might take a long time and unnecessarily hold resources that could otherwise be used.