Re: Problem with cache files being deleted

[Shawn Laffan]

In that case I'll just skip inc/lib and inc/script, which is simpler 
anyway.

Regards,
Shawn.


On 18/12/2014 18:39, Roderich Schupp wrote:
On Thu, Dec 18, 2014 at 12:18 AM, Shawn Laffan 
<shawn.laf...@unsw.edu.au <mailto:shawn.laf...@unsw.edu.au>> wrote:

    It boils down to checking for par_tmp/inc/MANIFEST and unzipping
    it if needed.  None of the -a packed files are listed in the
    manifest, 


Ooops, that might be considered a bug...
Cheers, Roderich