PluginManager/PluginManager.py

changeset 245
de5c4effc747
parent 116
2add429042ef
child 415
59a0f9e90768
child 792
a13346916170
--- a/PluginManager/PluginManager.py	Thu May 13 14:36:46 2010 +0200
+++ b/PluginManager/PluginManager.py	Fri May 14 12:31:34 2010 +0200
@@ -165,11 +165,11 @@
                 os.mkdir(self.pluginDirs["global"], 0o755)
                 fname = os.path.join(self.pluginDirs["global"], "__init__.py")
                 f = open(fname, "w", encoding = "utf-8")
-                f.write('# -*- coding: utf-8 -*-' + os.linesep)
-                f.write(os.linesep)
-                f.write('"""' + os.linesep)
-                f.write('Package containing the global plugins.' + os.linesep)
-                f.write('"""' + os.linesep)
+                f.write('# -*- coding: utf-8 -*-' + "\n")
+                f.write("\n")
+                f.write('"""' + "\n")
+                f.write('Package containing the global plugins.' + "\n")
+                f.write('"""' + "\n")
                 f.close()
             if not os.path.exists(self.pluginDirs["global"]):
                 del self.pluginDirs["global"]

eric ide

mercurial