Bug List
2004-03-15T06:51:14Z
https://bugsy.grid.aau.dk/bugzilla/buglist.cgi?bug_id=61&ctype=atom&query_format=advanced&title=Bug%20List
[Bug 61] Server connection lost, the server connection has been killed
https://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=61
Krzysztof Sierszecki
2004-03-15T06:51:14Z
<table>
<tr>
<th>Field</th><th>Value</th>
</tr><tr class="bz_feed_product">
<td>Product</td>
<td>UPPAAL</td>
</tr><tr class="bz_feed_component">
<td>Component</td>
<td>GUI</td>
</tr><tr class="bz_feed_assignee">
<td>AssignedToName</td>
<td>Gerd Behrmann</td>
</tr><tr class="bz_feed_reporter">
<td>ReportedByName</td>
<td>Krzysztof Sierszecki</td>
</tr><tr class="bz_feed_bug_status">
<td>Status</td>
<td>CLOSED</td>
</tr><tr class="bz_feed_resolution">
<td>Resolution </td>
<td>DUPLICATE</td>
</tr><tr class="bz_feed_priority">
<td>Priority</td>
<td>P2</td>
</tr><tr class="bz_feed_severity">
<td>Severity </td>
<td>minor</td>
</tr><tr class="bz_feed_creation_date">
<td>Creation date</td>
<td>2003-09-17</td>
</tr><tr class="bz_feed_changed_date">
<td>Last changed date</td>
<td>2004-03-15</td>
</tr>
</table>