I am testing the user access control functionalities of DolphinDB database. As I quite often need to start all over again, I need to find a convenient way to delete all user
