tree 42bf9608becc623f314f5b781c05f1eaa03f91a1
parent 7036a8bd882f907008f991cbaf1bf7cc8e65d75e
author Gabriel Schine <thatguy@google.com> 1539369828 -0700
committer CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org> 1539647009 +0000

[user_shell][armadillo] Get UserShellContext from the environment for armadillo.

This sets us up to be able to delete the UserShell interface entirely,
which existed solely to pass dependencies to user shells. This is not
necessary.

TESTING=none

MI4-1445 #comment [user_shell] Get UserShellContext from the environment.

Change-Id: I04c0409319278c37a57771cc19204d5f5bebbdd2