DROP USERuser[,user] ...
        The DROP USER statement removes
        one or more MySQL accounts. It removes privilege rows for the
        account from all grant tables. To use this statement, you must
        have the global CREATE USER
        privilege or the DELETE privilege
        for the mysql database. Each account is named
        using the same format as for the
        GRANT statement; for example,
        'jeffrey'@'localhost'. If you specify only
        the user name part of the account name, a host name part of
        '%' is used. For additional information about
        specifying account names, see Section 12.5.1.3, “GRANT Syntax”.
      
        With DROP USER, you can remove an
        account and its privileges as follows:
      
DROP USER user;
          DROP USER does not
          automatically close any open user sessions. Rather, in the
          event that a user with an open session is dropped, the
          statement does not take effect until that user's session is
          closed. Once the session is closed, the user is dropped, and
          that user's next attempt to log in will fail. This
          is by design.
        
        DROP USER does not automatically
        delete or invalidate any database objects that the user created.
        This applies to tables, views, stored routines, triggers, and
        events.
      


User Comments
So DROP USER does not automatically close any open user sessions, but does it prevent that user from opening new sessions in the meantime?
Add your own comment.