| commit | fc29e16de5ff8e9c2e680eca328093ebd059cdd4 | [log] [tgz] |
|---|---|---|
| author | Andrew Hutchings <andrew@linuxjedi.co.uk> | Fri May 18 14:33:37 2012 +0100 |
| committer | Andrew Hutchings <andrew@linuxjedi.co.uk> | Fri May 18 14:33:37 2012 +0100 |
| tree | ce9ee6783be3d4aae8ca12d4ec622a68734014b9 | |
| parent | 6a1789327d1c4808986aefd148d285bcec07f8ed [diff] |
Add SSH key syncing to user sync Previously the user update script only synced the SSH keys upon adding a user. This will make it add new keys to gerrit on every run. Fixes bug #1001180 Also added a lock file since it is sometimes taking longer than 15 minutes to execute (especially now we are pulling SSH keys) and has jammed up StackForge. Change-Id: I28fd0f557568c20a07e724bcd3d9c789a62fff42