Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #179 from Takishipp/signals
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 2 Jun 2017 15:04:57 +0000 (17:04 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Jun 2017 15:04:57 +0000 (17:04 +0200)
commit29d98d1ceb682fbc4c734a92353be4b0bcd5d17b
treed6e460cbc0205e73f0a052e3d18a76d2c285c1df
parent57970bcf4905da230f47be5c0f9a37128cca29f4
parenteff6e71fac6ed5fa431bec9d4bd5bad22e9a0244
Merge pull request #179 from Takishipp/signals

call sg_instr_new_host via signal call