rename_folder

Description:

public bool rename_folder (string old_folder_name, string new_folder_name) throws Error

Renames folder old_folder_name to new_folder_name.

Returns failure and sets g_io_error_not_found error when the old_folder_name does not exist, and g_io_error_exists, when the new_folder_name already exists.

Parameters:

this	a StoreDB
old_folder_name	an existing folder name
new_folder_name	a folder name to rename to

Returns:

whether succeeded