savedb[,dbsave]Save the program database from memory to disk.
arguments This command has no arguments.
result This command does not set any result variables.