project/captive/doc/dia/parent-connector.dia

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
   3   <dia:diagramdata>
   4     <dia:attribute name="background">
   5       <dia:color val="#ffffff"/>
   6     </dia:attribute>
   7     <dia:attribute name="paper">
   8       <dia:composite type="paper">
   9         <dia:attribute name="name">
  10           <dia:string>#A4#</dia:string>
  11         </dia:attribute>
  12         <dia:attribute name="tmargin">
  13           <dia:real val="2.8222"/>
  14         </dia:attribute>
  15         <dia:attribute name="bmargin">
  16           <dia:real val="2.8222"/>
  17         </dia:attribute>
  18         <dia:attribute name="lmargin">
  19           <dia:real val="2.8222"/>
  20         </dia:attribute>
  21         <dia:attribute name="rmargin">
  22           <dia:real val="2.8222"/>
  23         </dia:attribute>
  24         <dia:attribute name="is_portrait">
  25           <dia:boolean val="true"/>
  26         </dia:attribute>
  27         <dia:attribute name="scaling">
  28           <dia:real val="1"/>
  29         </dia:attribute>
  30         <dia:attribute name="fitto">
  31           <dia:boolean val="false"/>
  32         </dia:attribute>
  33       </dia:composite>
  34     </dia:attribute>
  35     <dia:attribute name="grid">
  36       <dia:composite type="grid">
  37         <dia:attribute name="width_x">
  38           <dia:real val="1"/>
  39         </dia:attribute>
  40         <dia:attribute name="width_y">
  41           <dia:real val="1"/>
  42         </dia:attribute>
  43         <dia:attribute name="visible_x">
  44           <dia:int val="1"/>
  45         </dia:attribute>
  46         <dia:attribute name="visible_y">
  47           <dia:int val="1"/>
  48         </dia:attribute>
  49       </dia:composite>
  50     </dia:attribute>
  51     <dia:attribute name="guides">
  52       <dia:composite type="guides">
  53         <dia:attribute name="hguides"/>
  54         <dia:attribute name="vguides"/>
  55       </dia:composite>
  56     </dia:attribute>
  57   </dia:diagramdata>
  58   <dia:layer name="Background" visible="true">
  59     <dia:object type="Flowchart - Box" version="0" id="O0">
  60       <dia:attribute name="obj_pos">
  61         <dia:point val="1,6"/>
  62       </dia:attribute>
  63       <dia:attribute name="obj_bb">
  64         <dia:rectangle val="0.95,5.95;7.0868,7.95"/>
  65       </dia:attribute>
  66       <dia:attribute name="elem_corner">
  67         <dia:point val="1,6"/>
  68       </dia:attribute>
  69       <dia:attribute name="elem_width">
  70         <dia:real val="6.0368"/>
  71       </dia:attribute>
  72       <dia:attribute name="elem_height">
  73         <dia:real val="1.9"/>
  74       </dia:attribute>
  75       <dia:attribute name="border_width">
  76         <dia:real val="0.1"/>
  77       </dia:attribute>
  78       <dia:attribute name="show_background">
  79         <dia:boolean val="true"/>
  80       </dia:attribute>
  81       <dia:attribute name="padding">
  82         <dia:real val="0.5"/>
  83       </dia:attribute>
  84       <dia:attribute name="text">
  85         <dia:composite type="text">
  86           <dia:attribute name="string">
  87             <dia:string>#disconnected#</dia:string>
  88           </dia:attribute>
  89           <dia:attribute name="font">
  90             <dia:font name="Helvetica"/>
  91           </dia:attribute>
  92           <dia:attribute name="height">
  93             <dia:real val="0.8"/>
  94           </dia:attribute>
  95           <dia:attribute name="pos">
  96             <dia:point val="4.0184,7.19"/>
  97           </dia:attribute>
  98           <dia:attribute name="color">
  99             <dia:color val="#000000"/>
 100           </dia:attribute>
 101           <dia:attribute name="alignment">
 102             <dia:enum val="1"/>
 103           </dia:attribute>
 104         </dia:composite>
 105       </dia:attribute>
 106     </dia:object>
 107     <dia:object type="Flowchart - Box" version="0" id="O1">
 108       <dia:attribute name="obj_pos">
 109         <dia:point val="11,6"/>
 110       </dia:attribute>
 111       <dia:attribute name="obj_bb">
 112         <dia:rectangle val="10.95,5.95;14.658,7.95"/>
 113       </dia:attribute>
 114       <dia:attribute name="elem_corner">
 115         <dia:point val="11,6"/>
 116       </dia:attribute>
 117       <dia:attribute name="elem_width">
 118         <dia:real val="3.608"/>
 119       </dia:attribute>
 120       <dia:attribute name="elem_height">
 121         <dia:real val="1.9"/>
 122       </dia:attribute>
 123       <dia:attribute name="border_width">
 124         <dia:real val="0.1"/>
 125       </dia:attribute>
 126       <dia:attribute name="border_color">
 127         <dia:color val="#ff0000"/>
 128       </dia:attribute>
 129       <dia:attribute name="show_background">
 130         <dia:boolean val="true"/>
 131       </dia:attribute>
 132       <dia:attribute name="padding">
 133         <dia:real val="0.5"/>
 134       </dia:attribute>
 135       <dia:attribute name="text">
 136         <dia:composite type="text">
 137           <dia:attribute name="string">
 138             <dia:string>#broken#</dia:string>
 139           </dia:attribute>
 140           <dia:attribute name="font">
 141             <dia:font name="Helvetica"/>
 142           </dia:attribute>
 143           <dia:attribute name="height">
 144             <dia:real val="0.8"/>
 145           </dia:attribute>
 146           <dia:attribute name="pos">
 147             <dia:point val="12.804,7.19"/>
 148           </dia:attribute>
 149           <dia:attribute name="color">
 150             <dia:color val="#ff0000"/>
 151           </dia:attribute>
 152           <dia:attribute name="alignment">
 153             <dia:enum val="1"/>
 154           </dia:attribute>
 155         </dia:composite>
 156       </dia:attribute>
 157     </dia:object>
 158     <dia:object type="Flowchart - Box" version="0" id="O2">
 159       <dia:attribute name="obj_pos">
 160         <dia:point val="1,12"/>
 161       </dia:attribute>
 162       <dia:attribute name="obj_bb">
 163         <dia:rectangle val="0.9,11.9;4.676,14.9"/>
 164       </dia:attribute>
 165       <dia:attribute name="elem_corner">
 166         <dia:point val="1,12"/>
 167       </dia:attribute>
 168       <dia:attribute name="elem_width">
 169         <dia:real val="3.576"/>
 170       </dia:attribute>
 171       <dia:attribute name="elem_height">
 172         <dia:real val="2.8"/>
 173       </dia:attribute>
 174       <dia:attribute name="border_width">
 175         <dia:real val="0.2"/>
 176       </dia:attribute>
 177       <dia:attribute name="border_color">
 178         <dia:color val="#00ff00"/>
 179       </dia:attribute>
 180       <dia:attribute name="show_background">
 181         <dia:boolean val="true"/>
 182       </dia:attribute>
 183       <dia:attribute name="padding">
 184         <dia:real val="0.5"/>
 185       </dia:attribute>
 186       <dia:attribute name="text">
 187         <dia:composite type="text">
 188           <dia:attribute name="string">
 189             <dia:string>#closed
 190 clean#</dia:string>
 191           </dia:attribute>
 192           <dia:attribute name="font">
 193             <dia:font name="Helvetica"/>
 194           </dia:attribute>
 195           <dia:attribute name="height">
 196             <dia:real val="0.8"/>
 197           </dia:attribute>
 198           <dia:attribute name="pos">
 199             <dia:point val="2.788,13.24"/>
 200           </dia:attribute>
 201           <dia:attribute name="color">
 202             <dia:color val="#000000"/>
 203           </dia:attribute>
 204           <dia:attribute name="alignment">
 205             <dia:enum val="1"/>
 206           </dia:attribute>
 207         </dia:composite>
 208       </dia:attribute>
 209     </dia:object>
 210     <dia:object type="Flowchart - Box" version="0" id="O3">
 211       <dia:attribute name="obj_pos">
 212         <dia:point val="11,12"/>
 213       </dia:attribute>
 214       <dia:attribute name="obj_bb">
 215         <dia:rectangle val="10.9,11.9;14.7552,14.9"/>
 216       </dia:attribute>
 217       <dia:attribute name="elem_corner">
 218         <dia:point val="11,12"/>
 219       </dia:attribute>
 220       <dia:attribute name="elem_width">
 221         <dia:real val="3.6552"/>
 222       </dia:attribute>
 223       <dia:attribute name="elem_height">
 224         <dia:real val="2.8"/>
 225       </dia:attribute>
 226       <dia:attribute name="border_width">
 227         <dia:real val="0.2"/>
 228       </dia:attribute>
 229       <dia:attribute name="border_color">
 230         <dia:color val="#ff0000"/>
 231       </dia:attribute>
 232       <dia:attribute name="show_background">
 233         <dia:boolean val="true"/>
 234       </dia:attribute>
 235       <dia:attribute name="padding">
 236         <dia:real val="0.5"/>
 237       </dia:attribute>
 238       <dia:attribute name="text">
 239         <dia:composite type="text">
 240           <dia:attribute name="string">
 241             <dia:string>#closed
 242 dirty #</dia:string>
 243           </dia:attribute>
 244           <dia:attribute name="font">
 245             <dia:font name="Helvetica"/>
 246           </dia:attribute>
 247           <dia:attribute name="height">
 248             <dia:real val="0.8"/>
 249           </dia:attribute>
 250           <dia:attribute name="pos">
 251             <dia:point val="12.8276,13.24"/>
 252           </dia:attribute>
 253           <dia:attribute name="color">
 254             <dia:color val="#000000"/>
 255           </dia:attribute>
 256           <dia:attribute name="alignment">
 257             <dia:enum val="1"/>
 258           </dia:attribute>
 259         </dia:composite>
 260       </dia:attribute>
 261     </dia:object>
 262     <dia:object type="Flowchart - Box" version="0" id="O4">
 263       <dia:attribute name="obj_pos">
 264         <dia:point val="1,18"/>
 265       </dia:attribute>
 266       <dia:attribute name="obj_bb">
 267         <dia:rectangle val="0.9,17.9;5.072,20.9"/>
 268       </dia:attribute>
 269       <dia:attribute name="elem_corner">
 270         <dia:point val="1,18"/>
 271       </dia:attribute>
 272       <dia:attribute name="elem_width">
 273         <dia:real val="3.972"/>
 274       </dia:attribute>
 275       <dia:attribute name="elem_height">
 276         <dia:real val="2.8"/>
 277       </dia:attribute>
 278       <dia:attribute name="border_width">
 279         <dia:real val="0.2"/>
 280       </dia:attribute>
 281       <dia:attribute name="border_color">
 282         <dia:color val="#00ff00"/>
 283       </dia:attribute>
 284       <dia:attribute name="show_background">
 285         <dia:boolean val="true"/>
 286       </dia:attribute>
 287       <dia:attribute name="padding">
 288         <dia:real val="0.5"/>
 289       </dia:attribute>
 290       <dia:attribute name="text">
 291         <dia:composite type="text">
 292           <dia:attribute name="string">
 293             <dia:string>#opened
 294 clean#</dia:string>
 295           </dia:attribute>
 296           <dia:attribute name="font">
 297             <dia:font name="Helvetica"/>
 298           </dia:attribute>
 299           <dia:attribute name="height">
 300             <dia:real val="0.8"/>
 301           </dia:attribute>
 302           <dia:attribute name="pos">
 303             <dia:point val="2.986,19.24"/>
 304           </dia:attribute>
 305           <dia:attribute name="color">
 306             <dia:color val="#000000"/>
 307           </dia:attribute>
 308           <dia:attribute name="alignment">
 309             <dia:enum val="1"/>
 310           </dia:attribute>
 311         </dia:composite>
 312       </dia:attribute>
 313     </dia:object>
 314     <dia:object type="Flowchart - Box" version="0" id="O5">
 315       <dia:attribute name="obj_pos">
 316         <dia:point val="11,18"/>
 317       </dia:attribute>
 318       <dia:attribute name="obj_bb">
 319         <dia:rectangle val="10.9,17.9;15.072,20.9"/>
 320       </dia:attribute>
 321       <dia:attribute name="elem_corner">
 322         <dia:point val="11,18"/>
 323       </dia:attribute>
 324       <dia:attribute name="elem_width">
 325         <dia:real val="3.972"/>
 326       </dia:attribute>
 327       <dia:attribute name="elem_height">
 328         <dia:real val="2.8"/>
 329       </dia:attribute>
 330       <dia:attribute name="border_width">
 331         <dia:real val="0.2"/>
 332       </dia:attribute>
 333       <dia:attribute name="border_color">
 334         <dia:color val="#ff0000"/>
 335       </dia:attribute>
 336       <dia:attribute name="show_background">
 337         <dia:boolean val="true"/>
 338       </dia:attribute>
 339       <dia:attribute name="padding">
 340         <dia:real val="0.5"/>
 341       </dia:attribute>
 342       <dia:attribute name="text">
 343         <dia:composite type="text">
 344           <dia:attribute name="string">
 345             <dia:string>#opened
 346 dirty#</dia:string>
 347           </dia:attribute>
 348           <dia:attribute name="font">
 349             <dia:font name="Helvetica"/>
 350           </dia:attribute>
 351           <dia:attribute name="height">
 352             <dia:real val="0.8"/>
 353           </dia:attribute>
 354           <dia:attribute name="pos">
 355             <dia:point val="12.986,19.24"/>
 356           </dia:attribute>
 357           <dia:attribute name="color">
 358             <dia:color val="#000000"/>
 359           </dia:attribute>
 360           <dia:attribute name="alignment">
 361             <dia:enum val="1"/>
 362           </dia:attribute>
 363         </dia:composite>
 364       </dia:attribute>
 365     </dia:object>
 366     <dia:object type="Standard - Line" version="0" id="O6">
 367       <dia:attribute name="obj_pos">
 368         <dia:point val="0,9"/>
 369       </dia:attribute>
 370       <dia:attribute name="obj_bb">
 371         <dia:rectangle val="-0.05,8.95;23.05,9.05"/>
 372       </dia:attribute>
 373       <dia:attribute name="conn_endpoints">
 374         <dia:point val="0,9"/>
 375         <dia:point val="23,9"/>
 376       </dia:attribute>
 377       <dia:attribute name="numcp">
 378         <dia:int val="1"/>
 379       </dia:attribute>
 380       <dia:attribute name="line_width">
 381         <dia:real val="0.1"/>
 382       </dia:attribute>
 383       <dia:attribute name="line_style">
 384         <dia:enum val="1"/>
 385       </dia:attribute>
 386     </dia:object>
 387     <dia:object type="Standard - Text" version="0" id="O7">
 388       <dia:attribute name="obj_pos">
 389         <dia:point val="18,8"/>
 390       </dia:attribute>
 391       <dia:attribute name="obj_bb">
 392         <dia:rectangle val="15.8946,7.1323;20.1554,8.3823"/>
 393       </dia:attribute>
 394       <dia:attribute name="text">
 395         <dia:composite type="text">
 396           <dia:attribute name="string">
 397             <dia:string>#no VFS#</dia:string>
 398           </dia:attribute>
 399           <dia:attribute name="font">
 400             <dia:font name="Courier"/>
 401           </dia:attribute>
 402           <dia:attribute name="height">
 403             <dia:real val="1.1"/>
 404           </dia:attribute>
 405           <dia:attribute name="pos">
 406             <dia:point val="18,8"/>
 407           </dia:attribute>
 408           <dia:attribute name="color">
 409             <dia:color val="#000000"/>
 410           </dia:attribute>
 411           <dia:attribute name="alignment">
 412             <dia:enum val="1"/>
 413           </dia:attribute>
 414         </dia:composite>
 415       </dia:attribute>
 416     </dia:object>
 417     <dia:object type="Standard - Text" version="0" id="O8">
 418       <dia:attribute name="obj_pos">
 419         <dia:point val="19,11"/>
 420       </dia:attribute>
 421       <dia:attribute name="obj_bb">
 422         <dia:rectangle val="15.4365,10.1323;22.6135,11.3823"/>
 423       </dia:attribute>
 424       <dia:attribute name="text">
 425         <dia:composite type="text">
 426           <dia:attribute name="string">
 427             <dia:string>#VFS exists#</dia:string>
 428           </dia:attribute>
 429           <dia:attribute name="font">
 430             <dia:font name="Courier"/>
 431           </dia:attribute>
 432           <dia:attribute name="height">
 433             <dia:real val="1.1"/>
 434           </dia:attribute>
 435           <dia:attribute name="pos">
 436             <dia:point val="19,11"/>
 437           </dia:attribute>
 438           <dia:attribute name="color">
 439             <dia:color val="#000000"/>
 440           </dia:attribute>
 441           <dia:attribute name="alignment">
 442             <dia:enum val="1"/>
 443           </dia:attribute>
 444         </dia:composite>
 445       </dia:attribute>
 446     </dia:object>
 447     <dia:object type="Standard - Line" version="0" id="O9">
 448       <dia:attribute name="obj_pos">
 449         <dia:point val="11,12"/>
 450       </dia:attribute>
 451       <dia:attribute name="obj_bb">
 452         <dia:rectangle val="6.42685,7.30804;11.0707,12.0707"/>
 453       </dia:attribute>
 454       <dia:attribute name="conn_endpoints">
 455         <dia:point val="11,12"/>
 456         <dia:point val="7.0368,7.9"/>
 457       </dia:attribute>
 458       <dia:attribute name="numcp">
 459         <dia:int val="1"/>
 460       </dia:attribute>
 461       <dia:attribute name="line_width">
 462         <dia:real val="0.1"/>
 463       </dia:attribute>
 464       <dia:attribute name="end_arrow">
 465         <dia:enum val="1"/>
 466       </dia:attribute>
 467       <dia:attribute name="end_arrow_length">
 468         <dia:real val="0.8"/>
 469       </dia:attribute>
 470       <dia:attribute name="end_arrow_width">
 471         <dia:real val="0.8"/>
 472       </dia:attribute>
 473       <dia:connections>
 474         <dia:connection handle="0" to="O3" connection="0"/>
 475         <dia:connection handle="1" to="O0" connection="15"/>
 476       </dia:connections>
 477     </dia:object>
 478     <dia:object type="Standard - Text" version="0" id="O10">
 479       <dia:attribute name="obj_pos">
 480         <dia:point val="9,11"/>
 481       </dia:attribute>
 482       <dia:attribute name="obj_bb">
 483         <dia:rectangle val="7.7284,10.3553;10.3216,11.3053"/>
 484       </dia:attribute>
 485       <dia:attribute name="text">
 486         <dia:composite type="text">
 487           <dia:attribute name="string">
 488             <dia:string>#cease#</dia:string>
 489           </dia:attribute>
 490           <dia:attribute name="font">
 491             <dia:font name="Courier"/>
 492           </dia:attribute>
 493           <dia:attribute name="height">
 494             <dia:real val="0.8"/>
 495           </dia:attribute>
 496           <dia:attribute name="pos">
 497             <dia:point val="9,11"/>
 498           </dia:attribute>
 499           <dia:attribute name="color">
 500             <dia:color val="#000000"/>
 501           </dia:attribute>
 502           <dia:attribute name="alignment">
 503             <dia:enum val="1"/>
 504           </dia:attribute>
 505         </dia:composite>
 506       </dia:attribute>
 507     </dia:object>
 508     <dia:object type="Standard - Line" version="0" id="O11">
 509       <dia:attribute name="obj_pos">
 510         <dia:point val="4,12"/>
 511       </dia:attribute>
 512       <dia:attribute name="obj_bb">
 513         <dia:rectangle val="3.2,7.95;4.8,12.05"/>
 514       </dia:attribute>
 515       <dia:attribute name="conn_endpoints">
 516         <dia:point val="4,12"/>
 517         <dia:point val="4,8"/>
 518       </dia:attribute>
 519       <dia:attribute name="numcp">
 520         <dia:int val="1"/>
 521       </dia:attribute>
 522       <dia:attribute name="line_width">
 523         <dia:real val="0.1"/>
 524       </dia:attribute>
 525       <dia:attribute name="end_arrow">
 526         <dia:enum val="1"/>
 527       </dia:attribute>
 528       <dia:attribute name="end_arrow_length">
 529         <dia:real val="0.8"/>
 530       </dia:attribute>
 531       <dia:attribute name="end_arrow_width">
 532         <dia:real val="0.8"/>
 533       </dia:attribute>
 534     </dia:object>
 535     <dia:object type="Standard - Text" version="0" id="O12">
 536       <dia:attribute name="obj_pos">
 537         <dia:point val="3,10"/>
 538       </dia:attribute>
 539       <dia:attribute name="obj_bb">
 540         <dia:rectangle val="1.3924,9.35531;4.5576,11.1053"/>
 541       </dia:attribute>
 542       <dia:attribute name="text">
 543         <dia:composite type="text">
 544           <dia:attribute name="string">
 545             <dia:string>#cease
 546 abort  #</dia:string>
 547           </dia:attribute>
 548           <dia:attribute name="font">
 549             <dia:font name="Courier"/>
 550           </dia:attribute>
 551           <dia:attribute name="height">
 552             <dia:real val="0.8"/>
 553           </dia:attribute>
 554           <dia:attribute name="pos">
 555             <dia:point val="3,10"/>
 556           </dia:attribute>
 557           <dia:attribute name="color">
 558             <dia:color val="#000000"/>
 559           </dia:attribute>
 560           <dia:attribute name="alignment">
 561             <dia:enum val="1"/>
 562           </dia:attribute>
 563         </dia:composite>
 564       </dia:attribute>
 565     </dia:object>
 566     <dia:object type="Standard - Line" version="0" id="O13">
 567       <dia:attribute name="obj_pos">
 568         <dia:point val="13,12"/>
 569       </dia:attribute>
 570       <dia:attribute name="obj_bb">
 571         <dia:rectangle val="12.2,7.95;13.8,12.05"/>
 572       </dia:attribute>
 573       <dia:attribute name="conn_endpoints">
 574         <dia:point val="13,12"/>
 575         <dia:point val="13,8"/>
 576       </dia:attribute>
 577       <dia:attribute name="numcp">
 578         <dia:int val="1"/>
 579       </dia:attribute>
 580       <dia:attribute name="line_width">
 581         <dia:real val="0.1"/>
 582       </dia:attribute>
 583       <dia:attribute name="end_arrow">
 584         <dia:enum val="1"/>
 585       </dia:attribute>
 586       <dia:attribute name="end_arrow_length">
 587         <dia:real val="0.8"/>
 588       </dia:attribute>
 589       <dia:attribute name="end_arrow_width">
 590         <dia:real val="0.8"/>
 591       </dia:attribute>
 592     </dia:object>
 593     <dia:object type="Standard - Text" version="0" id="O14">
 594       <dia:attribute name="obj_pos">
 595         <dia:point val="12,10"/>
 596       </dia:attribute>
 597       <dia:attribute name="obj_bb">
 598         <dia:rectangle val="10.7064,9.35531;13.3436,10.3053"/>
 599       </dia:attribute>
 600       <dia:attribute name="text">
 601         <dia:composite type="text">
 602           <dia:attribute name="string">
 603             <dia:string>#abort #</dia:string>
 604           </dia:attribute>
 605           <dia:attribute name="font">
 606             <dia:font name="Courier"/>
 607           </dia:attribute>
 608           <dia:attribute name="height">
 609             <dia:real val="0.8"/>
 610           </dia:attribute>
 611           <dia:attribute name="pos">
 612             <dia:point val="12,10"/>
 613           </dia:attribute>
 614           <dia:attribute name="color">
 615             <dia:color val="#000000"/>
 616           </dia:attribute>
 617           <dia:attribute name="alignment">
 618             <dia:enum val="1"/>
 619           </dia:attribute>
 620         </dia:composite>
 621       </dia:attribute>
 622     </dia:object>
 623     <dia:object type="Standard - Line" version="0" id="O15">
 624       <dia:attribute name="obj_pos">
 625         <dia:point val="5,18"/>
 626       </dia:attribute>
 627       <dia:attribute name="obj_bb">
 628         <dia:rectangle val="4.2,7.95;5.8,18.05"/>
 629       </dia:attribute>
 630       <dia:attribute name="conn_endpoints">
 631         <dia:point val="5,18"/>
 632         <dia:point val="5,8"/>
 633       </dia:attribute>
 634       <dia:attribute name="numcp">
 635         <dia:int val="1"/>
 636       </dia:attribute>
 637       <dia:attribute name="line_width">
 638         <dia:real val="0.1"/>
 639       </dia:attribute>
 640       <dia:attribute name="end_arrow">
 641         <dia:enum val="1"/>
 642       </dia:attribute>
 643       <dia:attribute name="end_arrow_length">
 644         <dia:real val="0.8"/>
 645       </dia:attribute>
 646       <dia:attribute name="end_arrow_width">
 647         <dia:real val="0.8"/>
 648       </dia:attribute>
 649     </dia:object>
 650     <dia:object type="Standard - Text" version="0" id="O16">
 651       <dia:attribute name="obj_pos">
 652         <dia:point val="7,17"/>
 653       </dia:attribute>
 654       <dia:attribute name="obj_bb">
 655         <dia:rectangle val="5.4424,16.3553;8.6076,17.3053"/>
 656       </dia:attribute>
 657       <dia:attribute name="text">
 658         <dia:composite type="text">
 659           <dia:attribute name="string">
 660             <dia:string>#abort  #</dia:string>
 661           </dia:attribute>
 662           <dia:attribute name="font">
 663             <dia:font name="Courier"/>
 664           </dia:attribute>
 665           <dia:attribute name="height">
 666             <dia:real val="0.8"/>
 667           </dia:attribute>
 668           <dia:attribute name="pos">
 669             <dia:point val="7,17"/>
 670           </dia:attribute>
 671           <dia:attribute name="color">
 672             <dia:color val="#000000"/>
 673           </dia:attribute>
 674           <dia:attribute name="alignment">
 675             <dia:enum val="1"/>
 676           </dia:attribute>
 677         </dia:composite>
 678       </dia:attribute>
 679     </dia:object>
 680     <dia:object type="Standard - Line" version="0" id="O17">
 681       <dia:attribute name="obj_pos">
 682         <dia:point val="13.979,18"/>
 683       </dia:attribute>
 684       <dia:attribute name="obj_bb">
 685         <dia:rectangle val="13.1999,7.94832;14.8001,18.0501"/>
 686       </dia:attribute>
 687       <dia:attribute name="conn_endpoints">
 688         <dia:point val="13.979,18"/>
 689         <dia:point val="14,8"/>
 690       </dia:attribute>
 691       <dia:attribute name="numcp">
 692         <dia:int val="1"/>
 693       </dia:attribute>
 694       <dia:attribute name="line_width">
 695         <dia:real val="0.1"/>
 696       </dia:attribute>
 697       <dia:attribute name="end_arrow">
 698         <dia:enum val="1"/>
 699       </dia:attribute>
 700       <dia:attribute name="end_arrow_length">
 701         <dia:real val="0.8"/>
 702       </dia:attribute>
 703       <dia:attribute name="end_arrow_width">
 704         <dia:real val="0.8"/>
 705       </dia:attribute>
 706       <dia:connections>
 707         <dia:connection handle="0" to="O5" connection="3"/>
 708       </dia:connections>
 709     </dia:object>
 710     <dia:object type="Standard - Text" version="0" id="O18">
 711       <dia:attribute name="obj_pos">
 712         <dia:point val="17,17"/>
 713       </dia:attribute>
 714       <dia:attribute name="obj_bb">
 715         <dia:rectangle val="15.4424,16.3553;18.6076,17.3053"/>
 716       </dia:attribute>
 717       <dia:attribute name="text">
 718         <dia:composite type="text">
 719           <dia:attribute name="string">
 720             <dia:string>#abort  #</dia:string>
 721           </dia:attribute>
 722           <dia:attribute name="font">
 723             <dia:font name="Courier"/>
 724           </dia:attribute>
 725           <dia:attribute name="height">
 726             <dia:real val="0.8"/>
 727           </dia:attribute>
 728           <dia:attribute name="pos">
 729             <dia:point val="17,17"/>
 730           </dia:attribute>
 731           <dia:attribute name="color">
 732             <dia:color val="#000000"/>
 733           </dia:attribute>
 734           <dia:attribute name="alignment">
 735             <dia:enum val="1"/>
 736           </dia:attribute>
 737         </dia:composite>
 738       </dia:attribute>
 739     </dia:object>
 740     <dia:object type="Standard - Line" version="0" id="O19">
 741       <dia:attribute name="obj_pos">
 742         <dia:point val="1,18"/>
 743       </dia:attribute>
 744       <dia:attribute name="obj_bb">
 745         <dia:rectangle val="0.2,14.75;1.8,18.05"/>
 746       </dia:attribute>
 747       <dia:attribute name="conn_endpoints">
 748         <dia:point val="1,18"/>
 749         <dia:point val="1,14.8"/>
 750       </dia:attribute>
 751       <dia:attribute name="numcp">
 752         <dia:int val="1"/>
 753       </dia:attribute>
 754       <dia:attribute name="line_width">
 755         <dia:real val="0.1"/>
 756       </dia:attribute>
 757       <dia:attribute name="end_arrow">
 758         <dia:enum val="1"/>
 759       </dia:attribute>
 760       <dia:attribute name="end_arrow_length">
 761         <dia:real val="0.8"/>
 762       </dia:attribute>
 763       <dia:attribute name="end_arrow_width">
 764         <dia:real val="0.8"/>
 765       </dia:attribute>
 766       <dia:connections>
 767         <dia:connection handle="0" to="O4" connection="0"/>
 768         <dia:connection handle="1" to="O2" connection="11"/>
 769       </dia:connections>
 770     </dia:object>
 771     <dia:object type="Standard - Text" version="0" id="O20">
 772       <dia:attribute name="obj_pos">
 773         <dia:point val="3,17"/>
 774       </dia:attribute>
 775       <dia:attribute name="obj_bb">
 776         <dia:rectangle val="1.4424,16.3553;4.6076,17.3053"/>
 777       </dia:attribute>
 778       <dia:attribute name="text">
 779         <dia:composite type="text">
 780           <dia:attribute name="string">
 781             <dia:string>#detach #</dia:string>
 782           </dia:attribute>
 783           <dia:attribute name="font">
 784             <dia:font name="Courier"/>
 785           </dia:attribute>
 786           <dia:attribute name="height">
 787             <dia:real val="0.8"/>
 788           </dia:attribute>
 789           <dia:attribute name="pos">
 790             <dia:point val="3,17"/>
 791           </dia:attribute>
 792           <dia:attribute name="color">
 793             <dia:color val="#000000"/>
 794           </dia:attribute>
 795           <dia:attribute name="alignment">
 796             <dia:enum val="1"/>
 797           </dia:attribute>
 798         </dia:composite>
 799       </dia:attribute>
 800     </dia:object>
 801     <dia:object type="Standard - Line" version="0" id="O21">
 802       <dia:attribute name="obj_pos">
 803         <dia:point val="11,18"/>
 804       </dia:attribute>
 805       <dia:attribute name="obj_bb">
 806         <dia:rectangle val="10.2,14.75;11.8,18.05"/>
 807       </dia:attribute>
 808       <dia:attribute name="conn_endpoints">
 809         <dia:point val="11,18"/>
 810         <dia:point val="11,14.8"/>
 811       </dia:attribute>
 812       <dia:attribute name="numcp">
 813         <dia:int val="1"/>
 814       </dia:attribute>
 815       <dia:attribute name="line_width">
 816         <dia:real val="0.1"/>
 817       </dia:attribute>
 818       <dia:attribute name="end_arrow">
 819         <dia:enum val="1"/>
 820       </dia:attribute>
 821       <dia:attribute name="end_arrow_length">
 822         <dia:real val="0.8"/>
 823       </dia:attribute>
 824       <dia:attribute name="end_arrow_width">
 825         <dia:real val="0.8"/>
 826       </dia:attribute>
 827       <dia:connections>
 828         <dia:connection handle="0" to="O5" connection="0"/>
 829         <dia:connection handle="1" to="O3" connection="11"/>
 830       </dia:connections>
 831     </dia:object>
 832     <dia:object type="Standard - Text" version="0" id="O22">
 833       <dia:attribute name="obj_pos">
 834         <dia:point val="9,16"/>
 835       </dia:attribute>
 836       <dia:attribute name="obj_bb">
 837         <dia:rectangle val="7.4512,15.3553;10.5988,16.3053"/>
 838       </dia:attribute>
 839       <dia:attribute name="text">
 840         <dia:composite type="text">
 841           <dia:attribute name="string">
 842             <dia:string>#detach#</dia:string>
 843           </dia:attribute>
 844           <dia:attribute name="font">
 845             <dia:font name="Courier"/>
 846           </dia:attribute>
 847           <dia:attribute name="height">
 848             <dia:real val="0.8"/>
 849           </dia:attribute>
 850           <dia:attribute name="pos">
 851             <dia:point val="9,16"/>
 852           </dia:attribute>
 853           <dia:attribute name="color">
 854             <dia:color val="#000000"/>
 855           </dia:attribute>
 856           <dia:attribute name="alignment">
 857             <dia:enum val="1"/>
 858           </dia:attribute>
 859         </dia:composite>
 860       </dia:attribute>
 861     </dia:object>
 862     <dia:object type="Standard - Line" version="0" id="O23">
 863       <dia:attribute name="obj_pos">
 864         <dia:point val="4.972,19.4"/>
 865       </dia:attribute>
 866       <dia:attribute name="obj_bb">
 867         <dia:rectangle val="4.922,18.6;11.05,20.2"/>
 868       </dia:attribute>
 869       <dia:attribute name="conn_endpoints">
 870         <dia:point val="4.972,19.4"/>
 871         <dia:point val="11,19.4"/>
 872       </dia:attribute>
 873       <dia:attribute name="numcp">
 874         <dia:int val="1"/>
 875       </dia:attribute>
 876       <dia:attribute name="line_width">
 877         <dia:real val="0.1"/>
 878       </dia:attribute>
 879       <dia:attribute name="end_arrow">
 880         <dia:enum val="1"/>
 881       </dia:attribute>
 882       <dia:attribute name="end_arrow_length">
 883         <dia:real val="0.8"/>
 884       </dia:attribute>
 885       <dia:attribute name="end_arrow_width">
 886         <dia:real val="0.8"/>
 887       </dia:attribute>
 888       <dia:connections>
 889         <dia:connection handle="0" to="O4" connection="8"/>
 890         <dia:connection handle="1" to="O5" connection="7"/>
 891       </dia:connections>
 892     </dia:object>
 893     <dia:object type="Standard - Text" version="0" id="O24">
 894       <dia:attribute name="obj_pos">
 895         <dia:point val="8,19"/>
 896       </dia:attribute>
 897       <dia:attribute name="obj_bb">
 898         <dia:rectangle val="5.7208,18.3553;10.3292,19.3053"/>
 899       </dia:attribute>
 900       <dia:attribute name="text">
 901         <dia:composite type="text">
 902           <dia:attribute name="string">
 903             <dia:string>#write op.#</dia:string>
 904           </dia:attribute>
 905           <dia:attribute name="font">
 906             <dia:font name="Courier"/>
 907           </dia:attribute>
 908           <dia:attribute name="height">
 909             <dia:real val="0.8"/>
 910           </dia:attribute>
 911           <dia:attribute name="pos">
 912             <dia:point val="8,19"/>
 913           </dia:attribute>
 914           <dia:attribute name="color">
 915             <dia:color val="#000000"/>
 916           </dia:attribute>
 917           <dia:attribute name="alignment">
 918             <dia:enum val="1"/>
 919           </dia:attribute>
 920         </dia:composite>
 921       </dia:attribute>
 922     </dia:object>
 923     <dia:object type="Standard - Arc" version="0" id="O25">
 924       <dia:attribute name="obj_pos">
 925         <dia:point val="1,7.9"/>
 926       </dia:attribute>
 927       <dia:attribute name="obj_bb">
 928         <dia:rectangle val="-0.05,7.85;1.8,12.05"/>
 929       </dia:attribute>
 930       <dia:attribute name="conn_endpoints">
 931         <dia:point val="1,7.9"/>
 932         <dia:point val="1,12"/>
 933       </dia:attribute>
 934       <dia:attribute name="curve_distance">
 935         <dia:real val="1"/>
 936       </dia:attribute>
 937       <dia:attribute name="line_width">
 938         <dia:real val="0.1"/>
 939       </dia:attribute>
 940       <dia:attribute name="end_arrow">
 941         <dia:enum val="1"/>
 942       </dia:attribute>
 943       <dia:attribute name="end_arrow_length">
 944         <dia:real val="0.8"/>
 945       </dia:attribute>
 946       <dia:attribute name="end_arrow_width">
 947         <dia:real val="0.8"/>
 948       </dia:attribute>
 949       <dia:connections>
 950         <dia:connection handle="0" to="O0" connection="11"/>
 951         <dia:connection handle="1" to="O2" connection="0"/>
 952       </dia:connections>
 953     </dia:object>
 954     <dia:object type="Standard - Text" version="0" id="O26">
 955       <dia:attribute name="obj_pos">
 956         <dia:point val="-2,10"/>
 957       </dia:attribute>
 958       <dia:attribute name="obj_bb">
 959         <dia:rectangle val="-4.2792,9.35531;0.3292,11.1053"/>
 960       </dia:attribute>
 961       <dia:attribute name="text">
 962         <dia:composite type="text">
 963           <dia:attribute name="string">
 964             <dia:string>#read op.
 965 write op.#</dia:string>
 966           </dia:attribute>
 967           <dia:attribute name="font">
 968             <dia:font name="Courier"/>
 969           </dia:attribute>
 970           <dia:attribute name="height">
 971             <dia:real val="0.8"/>
 972           </dia:attribute>
 973           <dia:attribute name="pos">
 974             <dia:point val="-2,10"/>
 975           </dia:attribute>
 976           <dia:attribute name="color">
 977             <dia:color val="#000000"/>
 978           </dia:attribute>
 979           <dia:attribute name="alignment">
 980             <dia:enum val="1"/>
 981           </dia:attribute>
 982         </dia:composite>
 983       </dia:attribute>
 984     </dia:object>
 985     <dia:object type="Standard - Arc" version="0" id="O27">
 986       <dia:attribute name="obj_pos">
 987         <dia:point val="1,14.8"/>
 988       </dia:attribute>
 989       <dia:attribute name="obj_bb">
 990         <dia:rectangle val="0.1858,14.75;1.8,18.05"/>
 991       </dia:attribute>
 992       <dia:attribute name="conn_endpoints">
 993         <dia:point val="1,14.8"/>
 994         <dia:point val="1,18"/>
 995       </dia:attribute>
 996       <dia:attribute name="curve_distance">
 997         <dia:real val="0.7642"/>
 998       </dia:attribute>
 999       <dia:attribute name="line_width">
1000         <dia:real val="0.1"/>
1001       </dia:attribute>
1002       <dia:attribute name="end_arrow">
1003         <dia:enum val="1"/>
1004       </dia:attribute>
1005       <dia:attribute name="end_arrow_length">
1006         <dia:real val="0.8"/>
1007       </dia:attribute>
1008       <dia:attribute name="end_arrow_width">
1009         <dia:real val="0.8"/>
1010       </dia:attribute>
1011       <dia:connections>
1012         <dia:connection handle="0" to="O2" connection="11"/>
1013         <dia:connection handle="1" to="O4" connection="0"/>
1014       </dia:connections>
1015     </dia:object>
1016     <dia:object type="Standard - Text" version="0" id="O28">
1017       <dia:attribute name="obj_pos">
1018         <dia:point val="-2,17"/>
1019       </dia:attribute>
1020       <dia:attribute name="obj_bb">
1021         <dia:rectangle val="-4.2792,16.3553;0.3292,18.1053"/>
1022       </dia:attribute>
1023       <dia:attribute name="text">
1024         <dia:composite type="text">
1025           <dia:attribute name="string">
1026             <dia:string>#read op.
1027 write op.#</dia:string>
1028           </dia:attribute>
1029           <dia:attribute name="font">
1030             <dia:font name="Courier"/>
1031           </dia:attribute>
1032           <dia:attribute name="height">
1033             <dia:real val="0.8"/>
1034           </dia:attribute>
1035           <dia:attribute name="pos">
1036             <dia:point val="-2,17"/>
1037           </dia:attribute>
1038           <dia:attribute name="color">
1039             <dia:color val="#000000"/>
1040           </dia:attribute>
1041           <dia:attribute name="alignment">
1042             <dia:enum val="1"/>
1043           </dia:attribute>
1044         </dia:composite>
1045       </dia:attribute>
1046     </dia:object>
1047     <dia:object type="Standard - Text" version="0" id="O29">
1048       <dia:attribute name="obj_pos">
1049         <dia:point val="7,23"/>
1050       </dia:attribute>
1051       <dia:attribute name="obj_bb">
1052         <dia:rectangle val="-2.702,22.3553;16.752,24.9053"/>
1053       </dia:attribute>
1054       <dia:attribute name="text">
1055         <dia:composite type="text">
1056           <dia:attribute name="string">
1057             <dia:string>#shutdown: &lt;detach&gt; [down OK] &lt;ceaase&gt;
1058 shutdown: &lt;detach&gt; [crash] &lt;abort&gt;
1059 unsolicited: [crash] &lt;abort&gt;         #</dia:string>
1060           </dia:attribute>
1061           <dia:attribute name="font">
1062             <dia:font name="Courier"/>
1063           </dia:attribute>
1064           <dia:attribute name="height">
1065             <dia:real val="0.8"/>
1066           </dia:attribute>
1067           <dia:attribute name="pos">
1068             <dia:point val="7,23"/>
1069           </dia:attribute>
1070           <dia:attribute name="color">
1071             <dia:color val="#000000"/>
1072           </dia:attribute>
1073           <dia:attribute name="alignment">
1074             <dia:enum val="1"/>
1075           </dia:attribute>
1076         </dia:composite>
1077       </dia:attribute>
1078     </dia:object>
1079   </dia:layer>
1080 </dia:diagram>