Help -- Teensy Port No Longer Found by IDE or Windows Device Manger!

[gfvalvo]

So, Teensy 3.2, Teensyduino, and Arduino IDE (v1.6.12) have been running together flawlessly for many weeks on Win7 64bit machine. All of a sudden there is no longer a Teensy Port listed under "Ports". All the Teensys are still listed under Arduino's Board Manger, just not under ports. The former Teensy port no longer shows up in Windows Device Manger --> Ports either.

Any advice on this problem will be greatly appreciated.

Thanks.

 

[gfvalvo]

OK, re-installed Teensyduino and Serial Driver. Seems to be OK again.