diff options
| author | drebs <drebs@leap.se> | 2015-08-18 12:16:47 -0300 |
|---|---|---|
| committer | drebs <drebs@leap.se> | 2015-08-19 15:41:25 -0300 |
| commit | 3180d0544afc8000c06065c223d5cf104e806275 (patch) | |
| tree | a8dbe5e6689c3b9b59cb831784100425d3432d48 /scripts/develop_mode.sh | |
| parent | a8b9f9a659abd4b1eb7d4a7e7c48e8e1216ddcca (diff) | |
[bug] hold sync lock while running post-sync hooks
Previous to this modification, the post-sync hooks were run after the sync
lock was released. In that scenario, the next sync process could start before
the previous sync's post-sync hooks were run. In general, we want the hooks to
run while the current sync lock is still locked, even though for some plugins
this might not make a difference.
Diffstat (limited to 'scripts/develop_mode.sh')
0 files changed, 0 insertions, 0 deletions