]> Pileus Git - ~andy/fetchmail/commitdiff
Fix handling of properties option.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 26 Oct 1998 16:56:52 +0000 (16:56 -0000)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 26 Oct 1998 16:56:52 +0000 (16:56 -0000)
svn path=/trunk/; revision=2135

fetchmailconf

index 573277720731da0aafd91638f78721df16680cb9..a3b42fc0e7bba27af2cda61fcbc721e3f99d7d12 100755 (executable)
@@ -7,7 +7,7 @@
 #
 # TO DO: Arrange for save and quit buttons to clean up all frames dependent
 # on the current ones.
-version = "1.6"
+version = "1.7"
 
 from Tkinter import *
 from Dialog import *
@@ -273,7 +273,7 @@ class User:
            str = str + " batchlimit " + `self.batchlimit`
        if self.expunge != UserDefaults.expunge:
            str = str + " expunge " + `self.expunge`
-       if self.properties != UserDefaults.properties:
+       if self.properties:
            str = str + " properties " + `self.properties`
         str = str + "\n"
         trimmed = self.smtphunt;