new approach to not doing version check on launch

diff --git a/core/resources/build.properties b/core/resources/build.properties
index d12cc3a34a5b8e6572a5d12244d6b49f733aa7bb..4897a420db97c7e2d83ceafb289c794d8e337247 100644 (file)
--- a/core/resources/build.properties
+++ b/core/resources/build.properties
@@ -8,9 +8,9 @@ build.version=12.03
 # distribution (Debian, Fedora etc.), this should be changed appropriately!
 # This is included in bug reports to identify the source of the software.
 
-build.source=default
+build.source=Debian
 
 
 # Whether checking for updates is enabled by default.
 
-build.checkupdates=true
+build.checkupdates=false

diff --git a/debian/patches/debian-build.source.diff b/debian/patches/debian-build.source.diff
index 21523405dfe764649eb45c89ad9e83a3cb3ebaff..a0d51cc8e6f9d7159555135c0ff4f71c41ba50e2 100644 (file)
--- a/debian/patches/debian-build.source.diff
+++ b/debian/patches/debian-build.source.diff
@@ -1,8 +1,8 @@
 diff --git a/core/resources/build.properties b/core/resources/build.properties
-index 73ec3d0..e0cd5fa 100644
+index d12cc3a..4897a42 100644
 --- a/core/resources/build.properties
 +++ b/core/resources/build.properties
-@@ -8,7 +8,7 @@ build.version=1.0.0
+@@ -8,9 +8,9 @@ build.version=12.03
  # distribution (Debian, Fedora etc.), this should be changed appropriately!
  # This is included in bug reports to identify the source of the software.
  
@@ -11,3 +11,24 @@ index 73ec3d0..e0cd5fa 100644
  
  
  # Whether checking for updates is enabled by default.
+ 
+-build.checkupdates=true
++build.checkupdates=false
+diff --git a/debian/patches/debian-build.source.diff b/debian/patches/debian-build.source.diff
+index 2152340..e69de29 100644
+--- a/debian/patches/debian-build.source.diff
++++ b/debian/patches/debian-build.source.diff
+@@ -1,13 +0,0 @@
+-diff --git a/core/resources/build.properties b/core/resources/build.properties
+-index 73ec3d0..e0cd5fa 100644
+---- a/core/resources/build.properties
+-+++ b/core/resources/build.properties
+-@@ -8,7 +8,7 @@ build.version=1.0.0
+- # distribution (Debian, Fedora etc.), this should be changed appropriately!
+- # This is included in bug reports to identify the source of the software.
+- 
+--build.source=default
+-+build.source=Debian
+- 
+- 
+- # Whether checking for updates is enabled by default.

diff --git a/debian/patches/dont-check-updates.diff b/debian/patches/dont-check-updates.diff
deleted file mode 100644 (file)
index ff46e70..0000000
--- a/debian/patches/dont-check-updates.diff
+++ /dev/null
@@ -1,13 +0,0 @@
-diff --git a/src/net/sf/openrocket/util/Prefs.java b/src/net/sf/openrocket/util/Prefs.java
-index 9cd9e7a..7dc0f67 100644
---- a/src/net/sf/openrocket/util/Prefs.java
-+++ b/src/net/sf/openrocket/util/Prefs.java
-@@ -109,7 +109,7 @@ public class Prefs {
-                               if (value != null)
-                                       DEFAULT_CHECK_UPDATES = Boolean.parseBoolean(value);
-                               else
--                                      DEFAULT_CHECK_UPDATES = true;
-+                                      DEFAULT_CHECK_UPDATES = false;
-                               
-                       } catch (IOException e) {
-                               throw new MissingResourceException(

diff --git a/debian/patches/series b/debian/patches/series
index ed1a7e89189047a206d48ce18e8440fc77565800..2a882d491ef073ea66a31e4adf23fcc6662b83d0 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
 debian-build.source.diff
 use-system-libs.diff
 skip-unittest.diff
-dont-check-updates.diff