Mentions légales du service

Skip to content

messages: add interfaces to change process name

DERUMIGNY Nicolas requested to merge nderumig/ProcessName into master

Using it in ProgressBar, CorePinnePool and Gurobi's call. WARNING: htop does not automatically aknowledges a second name changes. Be sure to open a fresh htop of ps when checking

Merge request reports