import java.nio.channels.{SelectionKey, Selector};
import java.nio.channels.spi.{AbstractSelector, AbstractSelectableChannel};
import java.nio.charset.Charset;
+import java.text.SimpleDateFormat;
import java.util.{Set => JSet};
import java.util.concurrent.locks.{Lock, ReentrantLock};
sb.result
}
-def formatTime(t: Int): String =
+val datefmt = new java.text.SimpleDateFormat("yyyy-MM-dd HH:mm:ss Z");
+
+def formatDuration(t: Int): String =
if (t < -1) "???"
else {
val (s, t1) = (t%60, t/60);