This PR fixes wrong redirection of scripts' output to files, and adds some modifications to kerberos ticket management.
Now, the kinit.sh script accepts a single argument, which configures the number of tries that the script will attempt to execute kinit. Default, if no argument is present, is 2. This was added due to spurious failures of the script, which didn't seem to have any obvious reason for failing. Adding a second try fixes that. A 4-second delay has also been added between tries.
This PR fixes wrong redirection of scripts' output to files, and adds some modifications to kerberos ticket management.
Now, the
kinit.sh
script accepts a single argument, which configures the number of tries that the script will attempt to executekinit
. Default, if no argument is present, is2
. This was added due to spurious failures of the script, which didn't seem to have any obvious reason for failing. Adding a second try fixes that. A 4-second delay has also been added between tries.