Show More
| @@ -116,10 +116,10 b' If two process are pushing we want to ma' | |||||
| 116 | We build a server side extension for this purpose |
|
116 | We build a server side extension for this purpose | |
| 117 |
|
117 | |||
| 118 | $ cat > bookrace.py << EOF |
|
118 | $ cat > bookrace.py << EOF | |
|
|
119 | > import atexit | |||
| 119 | > import os |
|
120 | > import os | |
| 120 | > import time |
|
121 | > import time | |
| 121 | > import atexit |
|
122 | > from mercurial import bookmarks, error, extensions | |
| 122 | > from mercurial import error, extensions, bookmarks |
|
|||
| 123 | > def wrapinit(orig, self, repo): |
|
123 | > def wrapinit(orig, self, repo): | |
| 124 | > if not os.path.exists('push-A-started'): |
|
124 | > if not os.path.exists('push-A-started'): | |
| 125 | > print('setting raced push up') |
|
125 | > print('setting raced push up') | |
General Comments 0
You need to be logged in to leave comments.
Login now