CC3000 WiFi Connect after no DHCP failing

OK, seems you are correct and the documentation wrong.

As you say in the DISCONNECTING example here: http://www.espruino.com/CC3000

var wlan = require("CC3000").connect();

Is only called once.

Many thanks for your help.