Remove deprecated usage

martinpaljak · Jan 10, 2016 · ab24d03 · ab24d03
1 parent 9a27502
commit ab24d03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pro/javacard/gp/GPTool.java b/src/pro/javacard/gp/GPTool.java
@@ -652,7 +652,7 @@ public static void main(String[] argv) throws Exception {
 				} finally {
 					if (card != null) {
 						card.endExclusive();
-						TerminalManager.disconnect(card, true);
+						card.disconnect(true);
 					}
 				}
 			}