snuspl / dolphin

14 stars 2 forks source link

Clarify how ParameterServerManager should be used #159

Open jsjason opened 8 years ago

jsjason commented 8 years ago

The ParameterServerManager interface is for configuration purposes and is not something users need to implement. This should be stated clearly through comments and annotations.