diff options
| author | Milo Casagrande <milo@ubuntu.com> | 2013-03-12 17:17:26 +0100 |
|---|---|---|
| committer | Milo Casagrande <milo@ubuntu.com> | 2013-03-12 17:17:26 +0100 |
| commit | a2a42d39fd7aca5e2c2a4e823aeff573d6b77c8c (patch) | |
| tree | 79405e5e165acb50e1b83f3caad2300307732660 | |
| parent | b6e5c4928c32e77b7965661dadd02c416353869c (diff) | |
Added other signal handling.
| -rw-r--r-- | scripts/rsync-mirror | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/rsync-mirror b/scripts/rsync-mirror index 6f44557..158f4c1 100644 --- a/scripts/rsync-mirror +++ b/scripts/rsync-mirror @@ -47,7 +47,7 @@ function set_own_perm { } # Always set the permission/ownership. -trap set_own_perm EXIT +trap set_own_perm EXIT HUP QUIT TERM KILL # Create the necessaries directories to hold private repositories. # We store everything under a single 'private' directory as a subdir |