ProcessManager-01-10-01

Giuseppe Avolio

@avolio

5e47d156 · Fixed gcc-62 compilation warning · Nov 16, 2016

This is ProcessManager-01-10-01.

Main changes:
- Fixed compilation warning with gcc-62.