…ission script now uses the environment variables set by pipeline to set the database name and path.

…ate does not exist yet. If non concurrent Jenkins runs are allowed, then it should be safe to restart an indexing job from an unfinished one.

…ral steps to run at the end of the pipeline, depending on the result of the update.

Change the name of the PBS logs, so that we can easily archive then with Jenkins.

Use parallel to allow simultaneous indexing and shuffling inputs.

Set file chunks to 1000.

…o pass the database to be updated through the command line.

…hout using PBS. We are still setting a time limit for the update, so that updates that run for longer than a reasonable amount of time don't go unnoticed. An update that fails to complete because of the time limit will mark the build as unstable.

- Do not allow to update the database twice during the same day.
- Remove the new database file if an update fails.
- Remove the new database file if the run is aborted by a user.

…ight end up deleting all databases if the update fails over a long period of time.

…he cookbook.

… job was being killed after some time.

…f the database.