mapbox/mapbox-gl-js — pull request #782 by tmcw (2014-10-19 21:06:58+00:00)
Title: map.remove() initial sketch - shuts down web workers

Refs #779

This keeps a stable and correct number of web workers when you shut down & reinitialize maps.

Other stuff it might do, like shutting down webgl instances, seems like it's well-covered by garbage collection.