[Rock-dev] [rock] #209: rock-display crashes if typekit of remote task is not installed locally

[rock]

#209: rock-display crashes if typekit of remote task is not installed locally
--------------------+------------------------------------
 Reporter:  jama01  |       Owner:  rock-dev-mailing-list
     Type:  defect  |      Status:  closed
 Priority:  major   |   Milestone:
Component:  base    |  Resolution:  fixed
 Keywords:          |
--------------------+------------------------------------
Changes (by Alexander.Duda):

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


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