keys.scala, etc.: Make merging public keys have a progress bar.
[tripe-android] / main.scala
index c4b8284..16d2b0a 100644 (file)
@@ -7,7 +7,7 @@ import scala.util.control.Breaks;
 
 def main(args: Array[String])
 {
-  val conn = new jni.Connection(args(0));
+  val conn = new sys.Connection(args(0));
   try {
     val rd = new BufferedReader(new InputStreamReader(conn.input));
     val wr = new BufferedWriter(new OutputStreamWriter(conn.output));