[ServerOptions] convert to Integers when not set to default values#4110
Merged
mossheim merged 7 commits intosupercollider:3.10from patrickdupuis:topic/memSizeFloatJan 6, 2019
+116-53
Commits
Commits on Nov 29, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
