#1142: checkpoint_ID overwrites checkpoint files after each recovery -----------------------+---------------------------------------------------- Reporter: eschnett | Owner: eschnett Type: defect | Status: closed Priority: critical | Milestone: Component: Carpet | Version: Resolution: fixed | Keywords: -----------------------+---------------------------------------------------- Changes (by eschnett):
* status: review => closed * resolution: => fixed
Comment:
No, const applies only to the local variable, hence it doesn't affect the API.
Applied.