rename_user


Description:

public void rename_user (string old_user, string new_user)