Changeset 6709 in osm for applications/editors/josm/plugins/livegps/livegps/LiveGpsAcquirer.java

Timestamp:

2008-01-29T19:15:15+01:00 (17 years ago)

Author:

t2000

Message:

added configfile to livegps to be able to change host and port where gpsd is running on

File:

• applications/editors/josm/plugins/livegps/livegps/LiveGpsAcquirer.java (modified) (4 diffs)

applications/editors/josm/plugins/livegps/livegps/LiveGpsAcquirer.java

@@ -5 +5 @@
 import java.beans.PropertyChangeListener;
 import java.io.BufferedReader;
+import java.io.FileInputStream;
+import java.io.FileNotFoundException;
 import java.io.IOException;
 import java.io.InputStreamReader;
@@ -11 +13 @@
 import java.util.ArrayList;
 import java.util.List;
+import java.util.Properties;
 
 import org.openstreetmap.josm.data.coor.LatLon;
@@ -20 +23 @@
         String gpsdHost = "localhost";
         int gpsdPort = 2947;
+        String configFile = "liveGPS.conf";
         boolean shutdownFlag = false;
     private List<PropertyChangeListener> propertyChangeListener = new ArrayList<PropertyChangeListener>();
@@ -25 +29 @@
     private PropertyChangeEvent lastDataEvent;
         
-        public LiveGpsAcquirer() {
+        public LiveGpsAcquirer(String pluginDir) {
+                                
+                Properties liveGPSconfig = new Properties();
+                
+                FileInputStream fis = null;
+                                
+                try {
+                        fis = new FileInputStream(pluginDir + configFile);
+                } catch (FileNotFoundException e) {
+                        System.err.println("No liveGPS.conf found, using defaults");
+                }
+                
+                if(fis != null)
+                {               
+                        try {
+                                liveGPSconfig.load(fis);
+                                this.gpsdHost = liveGPSconfig.getProperty("host");
+                                this.gpsdPort = Integer.parseInt(liveGPSconfig.getProperty("port"));
+                                
+                        } catch (IOException e) {
+                                System.err.println("Error while loading liveGPS.conf, using defaults");
+                        }
+                        
+                        if(this.gpsdHost == null || this.gpsdPort == 0)
+                        {
+                                System.err.println("Error in liveGPS.conf, using defaults");
+                                this.gpsdHost = "localhost";
+                                this.gpsdPort = 2947;
+                        }
+                }
                 
         }