PluginProjectPyramid.py

changeset 12
a8d87f7de3e1
parent 7
d8545e81637f
child 13
227a115ab2a1
--- a/PluginProjectPyramid.py	Wed Aug 29 16:32:51 2012 +0200
+++ b/PluginProjectPyramid.py	Wed Aug 29 16:49:56 2012 +0200
@@ -120,7 +120,6 @@
             "VirtualEnvironmentPy3" : "", 
             "Python2ConsoleType": "python", 
             "Python3ConsoleType": "python", 
-            "ServerPort": 0, 
             "PyramidDocUrl": "http://docs.pylonsproject.org/en/latest/docs/pyramid.html", 
         }
         if isWindowsPlatform():
@@ -329,12 +328,8 @@
         @param prefClass preferences class used as the storage area
         @return the requested setting
         """
-        if key == "ServerPort":
-            return int(Preferences.Prefs.settings.value("Pyramid/" + key,
-                self.__defaults[key]))
-        else:
-            return Preferences.Prefs.settings.value("Pyramid/" + key,
-                self.__defaults[key])
+        return Preferences.Prefs.settings.value("Pyramid/" + key,
+            self.__defaults[key])
     
     def setPreferences(self, key, value):
         """

eric ide

mercurial