HGKeeper

fix bug with unfinished debug thread

2017-08-28, Surkov Sergey

c2f48d791d9f

Executable

fix bug with unfinished debug thread
this bug occurs when user doesn't stop debugging process in current project, and opens another project

<xsd:element name="Xenomai">

<xsd:complexType>

%(toolchain_gcc)s

<xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>

</xsd:complexType>

</xsd:element>