diff configure @ 34283:3a4adac4e9a5

Make cache process detect when the main process disappeared and make it exit on its own in that case.
author reimar
date Thu, 01 Dec 2011 19:10:15 +0000
parents 8ddad79e3c91
children c25804f1521e
line wrap: on
line diff