--- src/hardware/sysclk-lwla/api.c.orig 2020-04-23 08:18:03.312803178 -0700 +++ src/hardware/sysclk-lwla/api.c 2020-04-23 08:19:41.039466577 -0700 @@ -299,13 +299,15 @@ return SR_ERR_BUG; } - /* Download of the shutdown bitstream, if any. */ - ret = (*devc->model->apply_fpga_config)(sdi); - if (ret != SR_OK) - sr_warn("Unable to shut down device."); - - if (usb->devhdl) + if (usb->devhdl) { + /* Download of the shutdown bitstream, if any. */ + ret = (*devc->model->apply_fpga_config)(sdi); + if (ret != SR_OK) + sr_warn("Unable to shut down device."); libusb_release_interface(usb->devhdl, USB_INTERFACE); + } else { + sr_warn("Unable to shut down device, no usb handle."); + } sr_usb_close(usb);