git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
aee0392
)
ensure console contains build details in header
author
jprocter
<Jim Procter>
Mon, 5 Apr 2010 15:56:59 +0000
(15:56 +0000)
committer
jprocter
<Jim Procter>
Mon, 5 Apr 2010 15:56:59 +0000
(15:56 +0000)
src/jalview/gui/Desktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/Desktop.java
b/src/jalview/gui/Desktop.java
index
77cf56f
..
ab2175d
100755
(executable)
--- a/
src/jalview/gui/Desktop.java
+++ b/
src/jalview/gui/Desktop.java
@@
-115,6
+115,15
@@
public class Desktop extends jalview.jbgui.GDesktop implements
(int) (screenSize.height - 650) / 2, 900, 650);
}
jconsole = new Console(this);
(int) (screenSize.height - 650) / 2, 900, 650);
}
jconsole = new Console(this);
+ // immediately output essential build information
+ System.out.println("Jalview Desktop "+jalview.bin.Cache.getProperty("VERSION")+"\n"
+ +"Build Date: "
+ + jalview.bin.Cache.getDefault("BUILD_DATE", "unknown")+"\n"
+ + "Java version: " + System.getProperty("java.version")
+ + "\n"+System.getProperty("os.arch") + " "
+ + System.getProperty("os.name") + " "
+ + System.getProperty("os.version"));
+
showConsole(showjconsole);
this.addWindowListener(new WindowAdapter()
showConsole(showjconsole);
this.addWindowListener(new WindowAdapter()