Arduino WifiShield Software Reset

Is there a manner in which the Arduino WifiShield CPUs can be reset through software?

I note in the board file that the reset buttons are "linked" via the ICSP header so an Arduino button reset will also reset the CPU on the Wifishield. However, the watchdog timeout merely resets the Arduino CPU and does not in any manner appear to affect the WifiShield.

The reason for asking is that on a watchdog timeout, sometimes the WifiShield becomes "unavailable" - WiFi.status() == WL_NO_SHIELD