mirror of
https://github.com/golang/go.git
synced 2025-11-06 11:40:59 +00:00
parent
978c3e96d1
commit
31645cc0bb
3 changed files with 82 additions and 67 deletions
|
|
@ -171,6 +171,8 @@ class CL(object):
|
|||
f = open(path+'!', "w")
|
||||
f.write(self.DiskText())
|
||||
f.close()
|
||||
if sys.platform == "win32" and os.path.isfile(path):
|
||||
os.remove(path)
|
||||
os.rename(path+'!', path)
|
||||
if self.web and not self.original_author:
|
||||
EditDesc(self.name, desc=self.desc,
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue