- pull (l'actuel du gras_stub deploy et qui dépend de wget, pas grave
pour l'instant)
- renomer gras-remote-worker en graspe-qqch
- pull (l'actuel du gras_stub deploy et qui dépend de wget, pas grave
pour l'instant)
- renomer gras-remote-worker en graspe-qqch
depend on modern ones (we use lex_destroy)
- Better separation of SG and RL in the libs: remove all simulation code
from libgras. As a result, this lib is now only 200k when stripped.
depend on modern ones (we use lex_destroy)
- Better separation of SG and RL in the libs: remove all simulation code
from libgras. As a result, this lib is now only 200k when stripped.
should be cleaned/killed before SG3.
(msg)
- Add MSG_task_get_name. The task names are mainly for debugging purpose,
should be cleaned/killed before SG3.
(msg)
- Add MSG_task_get_name. The task names are mainly for debugging purpose,