shell: Use correct address for Docker terminals.

Previously, this would use 'undefined' which means localhost and thus
mostly worked, by accident.