[Rock-dev] [rock] #8: Orogen failing with wrong error message in case /tmp is full

[rock]

#8: Orogen failing with wrong error message in case /tmp is full
---------------------+----------------------------
  Reporter:  jama01  |      Owner:  sylvain.joyeux
      Type:  defect  |     Status:  closed
  Priority:  minor   |  Component:  toolchain
Resolution:  fixed   |   Keywords:
---------------------+----------------------------
Changes (by thro02):

 * status:  new => closed
 * resolution:   => fixed


-- 
Ticket URL: <https://rock.opendfki.de/ticket/8#comment:2>
rock <https://rock.opendfki.de>
rock: the robot construction kit