Re: [VuFind-Tech] to use optimize.php

[Demian K. <dem...@vi...>]

> When I use util/optimize.php from a bash script with exit() as last
> line, I see that the script finishes 3-5 minutes before.
> I don't exactly why.

That's strange!  I just tried it on my test server, and adding the "exit()" didn't seem to speed up the execution of the script for me (I'm using PHP 5.3.2-1ubuntu4.9).  Has anyone else encountered this?

- Demian