Change 23022
Simple fix for daily_checkpoint if the master server has its own server spec.
If the master server has a server spec matching the serverid name, the script will check if the server
is an edge server. This is done to avoid off-by-1 errors in the journal counter. The logic for the check
was broken, though, resulting in checkpoints failing with "checkpoint.xxx.gz already exist, check setup"
This fix avoids the problem. Bash script arithmatic is not as easy.
If the master server has a server spec matching the serverid name, the script will check if the server
is an edge server. This is done to avoid off-by-1 errors in the journal counter. The logic for the check
was broken, though, resulting in checkpoints failing with "checkpoint.xxx.gz already exist, check setup"
This fix avoids the problem. Bash script arithmatic is not as easy.