stratosphere/stratosphere — pull request #313 by rmetzger (2013-12-02 20:33:37+00:00)
Title: Remove discoveryManager

(do not merge immediately)

I removed the DiscoveryManager, as it is not really used.

The determination of t