810 |
810 |
811 # get rid of development config file, if it exists |
811 # get rid of development config file, if it exists |
812 try: |
812 try: |
813 if installFromSource: |
813 if installFromSource: |
814 os.rename(configName, configName + ".orig") |
814 os.rename(configName, configName + ".orig") |
|
815 configNameC = configName + 'c' |
|
816 if os.path.exists(configNameC): |
|
817 os.remove(configNameC) |
815 os.remove(configName) |
818 os.remove(configName) |
816 except EnvironmentError: |
819 except EnvironmentError: |
817 pass |
820 pass |
818 |
821 |
819 # cleanup old installation |
822 # cleanup old installation |
854 |
857 |
855 # do some cleanup |
858 # do some cleanup |
856 try: |
859 try: |
857 if installFromSource: |
860 if installFromSource: |
858 os.remove(configName) |
861 os.remove(configName) |
|
862 configNameC = configName + 'c' |
|
863 if os.path.exists(configNameC): |
|
864 os.remove(configNameC) |
859 os.rename(configName + ".orig", configName) |
865 os.rename(configName + ".orig", configName) |
860 except EnvironmentError: |
866 except EnvironmentError: |
861 pass |
867 pass |
862 |
868 |
863 print("\nInstallation complete.") |
869 print("\nInstallation complete.") |