delete_folder


Description:

public bool delete_folder (string folder_name) throws Error

Deletes all information about the folder_name.

It does nothing when the folder does not exist.

Parameters:

this

a StoreDB

folder_name

a folder name

Returns:

whether succeeded