git://git.nikiroo.be
/
fanfix.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
#18 move to event-driven main loop
[fanfix.git]
/
src
/
jexer
/
backend
/
TTYSessionInfo.java
diff --git
a/src/jexer/backend/TTYSessionInfo.java
b/src/jexer/backend/TTYSessionInfo.java
index e69fc7018664b4c25515040c55aedc46d2501c04..22d5314eb9ed819e36c0eca16d43a60fec561993 100644
(file)
--- a/
src/jexer/backend/TTYSessionInfo.java
+++ b/
src/jexer/backend/TTYSessionInfo.java
@@
-31,7
+31,6
@@
package jexer.backend;
import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.IOException;
import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.IOException;
-import java.util.Date;
import java.util.StringTokenizer;
/**
import java.util.StringTokenizer;
/**
@@
-64,7
+63,7
@@
public final class TTYSessionInfo implements SessionInfo {
/**
* Time at which the window size was refreshed.
*/
/**
* Time at which the window size was refreshed.
*/
- private
Date
lastQueryWindowTime;
+ private
long
lastQueryWindowTime;
/**
* Username getter.
/**
* Username getter.
@@
-180,11
+179,11
@@
public final class TTYSessionInfo implements SessionInfo {
* Re-query the text window size.
*/
public void queryWindowSize() {
* Re-query the text window size.
*/
public void queryWindowSize() {
- if (lastQueryWindowTime ==
null
) {
- lastQueryWindowTime =
new Date
();
+ if (lastQueryWindowTime ==
0
) {
+ lastQueryWindowTime =
System.currentTimeMillis
();
} else {
} else {
-
Date now = new Date
();
- if (now
.getTime() - lastQueryWindowTime.getTime()
< 3000) {
+
long nowTime = System.currentTimeMillis
();
+ if (now
Time - lastQueryWindowTime
< 3000) {
// Don't re-spawn stty, it's been too soon.
return;
}
// Don't re-spawn stty, it's been too soon.
return;
}