exit-post-hook-unlock.sh: use a trap to release the lock master
authorAntonio Ospite <ao2@ao2.it>
Thu, 13 Dec 2018 15:34:53 +0000 (16:34 +0100)
committerAntonio Ospite <ao2@ao2.it>
Thu, 13 Dec 2018 15:34:53 +0000 (16:34 +0100)
commit21dc816d9702893fa5b45c5c4d4b4b8edf0174d4
tree213ede1ab9d2780b7c351a078f9f2890eba99df3
parent2144a1fa25d58c93677c110bcbfdc58023d0cf45
exit-post-hook-unlock.sh: use a trap to release the lock

Use a trap to release the lock, this way the lock would be more robustly
released when the exit hook is called, even if some commands in the exit
hook failed.
exit-post-hook-unlock.sh