anchor.diff:      });
     }
   
  -  Future _pushViaUSB(ProgressMonitor monitor) {
  +  Future _pushViaUSB(ProgressMonitor monitor, [DeviceInfo info]) {
       USBDeployer dep = new USBDeployer(appContainer, _prefs);
  +    if (info != null) {
  +      dep.addToKnownDevices(info);
  +    }
       return dep.init().then((_) {
         return dep.deploy(monitor);
       });
  
positive.code:       _logger.info('deploying application via ADB over USB');
  
        // No server found, so use our own USB code.
        return _pushViaUSB(monitor);
      });
    }
  
  
negative.code:       }
  
        DeviceInfo di = _knownDevices[index];
  ;     return device.open(di.vendorId, di.productId).catchError((e) {
          if ((e == 'no-device') || (e == 'no-connection')) {
            // No matching device found, try again.
            return doOpen(index + 1);
  