add job identifier to the log

oferfrid / OctoTip

1 stars 2 forks source link

Closed oferfrid closed 12 years ago

oferfrid commented 12 years ago

Both in experiment manager and in robot manager

oferfrid commented 12 years ago

Both in experiment manager and in robot manager

oferfrid commented 12 years ago

done