Tool needed to enlarge the ODB

[Stefan Ritt]

Currently there is no way to easily enlarge the ODB before it is full. The “odbinit” command has a “-s” to specify the size of the ODB, but once it’s existing, the size cannot be changed with that command. Rather than inventing yet another tool aka odbresize, it would maybe be best to change odbinit so that the “-s” option also works on an existing ODB. If on explicitly calls odbinit with the “-s” parameter, we know already that the user wants a certain size, so why just ignoring it if there is already an ODB. We can print an error if other clients are connected to the ODB, telling the user to first stop the clients. This way we can prevent accidental resizes and crashes.

[Stefan Ritt]

We then also have to document this properly. There was once a documentation how to change the ODB size, but that is gone.