Small changes for the correct saving of runtime-options
Authored by: jkbecker 2006-02-16
Parent: [r265]
Child: [r267]