equal
deleted
inserted
replaced
114 * process A proceed with rest of the push |
114 * process A proceed with rest of the push |
115 |
115 |
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') |
126 > with open('push-A-started', 'w'): |
126 > with open('push-A-started', 'w'): |
127 > pass |
127 > pass |