Small improvements in Shared Memory source and programs.
Authored by: bruno.herbelin@gmail.com 2014-07-12
Parent: [r916]
Child: [r918]