| ## this tests a successful auth of type EXTERNAL | |
| SERVER | |
| ## verify that prior to doing anything, we haven't authed as anyone | |
| EXPECT_HAVE_NO_CREDENTIALS | |
| SEND 'AUTH EXTERNAL USERID_HEX' | |
| EXPECT_COMMAND OK | |
| EXPECT_STATE WAITING_FOR_INPUT | |
| SEND 'BEGIN' | |
| EXPECT_STATE AUTHENTICATED | |
| ## verify that we now have some credentials | |
| EXPECT_HAVE_SOME_CREDENTIALS |