Fix DMTCP so that 'dmtcp_coordinator -iXXX' works#378
Open
gc00 wants to merge 1 commit intompickpt:mainfrom
Open
Fix DMTCP so that 'dmtcp_coordinator -iXXX' works#378gc00 wants to merge 1 commit intompickpt:mainfrom
gc00 wants to merge 1 commit intompickpt:mainfrom
