aboutsummaryrefslogtreecommitdiffstats
path: root/lib/tools
diff options
context:
space:
mode:
Diffstat (limited to 'lib/tools')
-rw-r--r--lib/tools/doc/src/venn1.ps205
-rw-r--r--lib/tools/doc/src/venn2.ps284
-rw-r--r--lib/tools/src/cover.erl7
3 files changed, 7 insertions, 489 deletions
diff --git a/lib/tools/doc/src/venn1.ps b/lib/tools/doc/src/venn1.ps
deleted file mode 100644
index 9c12048728..0000000000
--- a/lib/tools/doc/src/venn1.ps
+++ /dev/null
@@ -1,205 +0,0 @@
-%!PS-Adobe-2.0 EPSF-2.0
-%%Title: venn1.ps
-%%Creator: fig2dev Version 3.2 Patchlevel 1
-%%CreationDate: Tue Sep 19 19:28:28 2000
-%%For: hasse@helios (Hans Bolinder)
-%%Orientation: Portrait
-%%BoundingBox: 0 0 347 253
-%%Pages: 0
-%%BeginSetup
-%%EndSetup
-%%Magnification: 1.0000
-%%EndComments
-/$F2psDict 200 dict def
-$F2psDict begin
-$F2psDict /mtrx matrix put
-/col-1 {0 setgray} bind def
-/col0 {0.000 0.000 0.000 srgb} bind def
-/col1 {0.000 0.000 1.000 srgb} bind def
-/col2 {0.000 1.000 0.000 srgb} bind def
-/col3 {0.000 1.000 1.000 srgb} bind def
-/col4 {1.000 0.000 0.000 srgb} bind def
-/col5 {1.000 0.000 1.000 srgb} bind def
-/col6 {1.000 1.000 0.000 srgb} bind def
-/col7 {1.000 1.000 1.000 srgb} bind def
-/col8 {0.000 0.000 0.560 srgb} bind def
-/col9 {0.000 0.000 0.690 srgb} bind def
-/col10 {0.000 0.000 0.820 srgb} bind def
-/col11 {0.530 0.810 1.000 srgb} bind def
-/col12 {0.000 0.560 0.000 srgb} bind def
-/col13 {0.000 0.690 0.000 srgb} bind def
-/col14 {0.000 0.820 0.000 srgb} bind def
-/col15 {0.000 0.560 0.560 srgb} bind def
-/col16 {0.000 0.690 0.690 srgb} bind def
-/col17 {0.000 0.820 0.820 srgb} bind def
-/col18 {0.560 0.000 0.000 srgb} bind def
-/col19 {0.690 0.000 0.000 srgb} bind def
-/col20 {0.820 0.000 0.000 srgb} bind def
-/col21 {0.560 0.000 0.560 srgb} bind def
-/col22 {0.690 0.000 0.690 srgb} bind def
-/col23 {0.820 0.000 0.820 srgb} bind def
-/col24 {0.500 0.190 0.000 srgb} bind def
-/col25 {0.630 0.250 0.000 srgb} bind def
-/col26 {0.750 0.380 0.000 srgb} bind def
-/col27 {1.000 0.500 0.500 srgb} bind def
-/col28 {1.000 0.630 0.630 srgb} bind def
-/col29 {1.000 0.750 0.750 srgb} bind def
-/col30 {1.000 0.880 0.880 srgb} bind def
-/col31 {1.000 0.840 0.000 srgb} bind def
-
-end
-save
--76.0 302.0 translate
-1 -1 scale
-
-/cp {closepath} bind def
-/ef {eofill} bind def
-/gr {grestore} bind def
-/gs {gsave} bind def
-/sa {save} bind def
-/rs {restore} bind def
-/l {lineto} bind def
-/m {moveto} bind def
-/rm {rmoveto} bind def
-/n {newpath} bind def
-/s {stroke} bind def
-/sh {show} bind def
-/slc {setlinecap} bind def
-/slj {setlinejoin} bind def
-/slw {setlinewidth} bind def
-/srgb {setrgbcolor} bind def
-/rot {rotate} bind def
-/sc {scale} bind def
-/sd {setdash} bind def
-/ff {findfont} bind def
-/sf {setfont} bind def
-/scf {scalefont} bind def
-/sw {stringwidth} bind def
-/tr {translate} bind def
-/tnt {dup dup currentrgbcolor
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
- bind def
-/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
- 4 -2 roll mul srgb} bind def
- /DrawEllipse {
- /endangle exch def
- /startangle exch def
- /yrad exch def
- /xrad exch def
- /y exch def
- /x exch def
- /savematrix mtrx currentmatrix def
- x y tr xrad yrad sc 0 0 1 startangle endangle arc
- closepath
- savematrix setmatrix
- } def
-
-/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
-/$F2psEnd {$F2psEnteredState restore end} def
-%%EndProlog
-
-$F2psBegin
-10 setmiterlimit
-n -1000 6025 m -1000 -1000 l 8035 -1000 l 8035 6025 l cp clip
- 0.06000 0.06000 sc
-/Times-Roman ff 165.00 scf sf
-5127 4544 m
-gs 1 -1 sc (Definition and Use) col0 sh gr
-% Polyline
-7.500 slw
-n 6675 3149 m 6985 3149 l gs 0.95 setgray ef gr gs col0 s gr
-/Times-Roman ff 120.00 scf sf
-2078 3794 m
-gs 1 -1 sc (XU) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-2071 3944 m
-gs 1 -1 sc (and) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-2078 4093 m
-gs 1 -1 sc (LU) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-1594 3934 m
-gs 1 -1 sc (LU) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-2634 3934 m
-gs 1 -1 sc (XU) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-1337 3934 m
-gs 1 -1 sc (UU) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-2760 1576 m
-gs 1 -1 sc (U) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-2760 2006 m
-gs 1 -1 sc (B) col0 sh gr
-% Polyline
-n 2722 1875 m 2917 1875 l gs 0.95 setgray ef gr gs col0 s gr
-/Times-Roman ff 165.00 scf sf
-1830 2785 m
-gs 1 -1 sc (Definition) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-2022 1338 m
-gs 1 -1 sc (X) col0 sh gr
-/Times-Roman ff 120.00 scf sf
-2022 2085 m
-gs 1 -1 sc (L) col0 sh gr
-/Times-Roman ff 165.00 scf sf
-2025 5025 m
-gs 1 -1 sc (Use) col0 sh gr
-% Arc
-gs n 3177.7 2812.0 1547.3 -25.9 25.9 arc
-gs col-1 s gr
- gr
-
-% Arc
-gs n 9043.1 2812.0 3868.1 160.4 -160.4 arc
-gs col-1 s gr
- gr
-
-% Arc
-gs n 2307.7 2812.0 3917.3 -19.4 19.4 arc
-gs col-1 s gr
- gr
-
-% Ellipse
-n 5700 2812 1327 1327 0 360 DrawEllipse gs col-1 s gr
-
-% Polyline
-n 6677 3706 m 6685 3706 l gs col-1 s gr
-% Polyline
-n 6675 1912 m 6675 3712 l gs col-1 s gr
-% Polyline
-n 4368 2806 m 6675 2806 l gs col-1 s gr
-% Arc
-gs n 563.2 3905.0 966.8 -25.8 25.8 arc
-gs col-1 s gr
- gr
-
-% Arc
-gs n 23.7 3905.0 2440.3 -19.4 19.4 arc
-gs col-1 s gr
- gr
-
-% Arc
-gs n 4217.4 3905.0 2407.4 160.4 -160.4 arc
-gs col-1 s gr
- gr
-
-% Ellipse
-n 2137 3905 826 826 0 360 DrawEllipse gs col-1 s gr
-
-% Polyline
-n 2743 4461 m 2751 4461 l gs col-1 s gr
-% Ellipse
-n 2115 1665 826 826 0 360 DrawEllipse gs col-1 s gr
-
-% Polyline
-n 2721 2221 m 2729 2221 l gs col-1 s gr
-% Polyline
-n 2722 1105 m 2722 2225 l gs col-1 s gr
-% Polyline
-n 1286 1665 m 2722 1665 l gs col-1 s gr
-$F2psEnd
-rs
diff --git a/lib/tools/doc/src/venn2.ps b/lib/tools/doc/src/venn2.ps
deleted file mode 100644
index 198ccf285c..0000000000
--- a/lib/tools/doc/src/venn2.ps
+++ /dev/null
@@ -1,284 +0,0 @@
-%!PS-Adobe-2.0 EPSF-2.0
-%%Title: venn2b.eps
-%%Creator: fig2dev Version 3.2.3 Patchlevel
-%%CreationDate: Tue Oct 9 11:12:20 2001
-%%For: hasse@ulmo2 (Hans Bolinder)
-%%BoundingBox: 0 0 409 157
-%%Magnification: 1.0000
-%%EndComments
-/$F2psDict 200 dict def
-$F2psDict begin
-$F2psDict /mtrx matrix put
-/col-1 {0 setgray} bind def
-/col0 {0.000 0.000 0.000 srgb} bind def
-/col1 {0.000 0.000 1.000 srgb} bind def
-/col2 {0.000 1.000 0.000 srgb} bind def
-/col3 {0.000 1.000 1.000 srgb} bind def
-/col4 {1.000 0.000 0.000 srgb} bind def
-/col5 {1.000 0.000 1.000 srgb} bind def
-/col6 {1.000 1.000 0.000 srgb} bind def
-/col7 {1.000 1.000 1.000 srgb} bind def
-/col8 {0.000 0.000 0.560 srgb} bind def
-/col9 {0.000 0.000 0.690 srgb} bind def
-/col10 {0.000 0.000 0.820 srgb} bind def
-/col11 {0.530 0.810 1.000 srgb} bind def
-/col12 {0.000 0.560 0.000 srgb} bind def
-/col13 {0.000 0.690 0.000 srgb} bind def
-/col14 {0.000 0.820 0.000 srgb} bind def
-/col15 {0.000 0.560 0.560 srgb} bind def
-/col16 {0.000 0.690 0.690 srgb} bind def
-/col17 {0.000 0.820 0.820 srgb} bind def
-/col18 {0.560 0.000 0.000 srgb} bind def
-/col19 {0.690 0.000 0.000 srgb} bind def
-/col20 {0.820 0.000 0.000 srgb} bind def
-/col21 {0.560 0.000 0.560 srgb} bind def
-/col22 {0.690 0.000 0.690 srgb} bind def
-/col23 {0.820 0.000 0.820 srgb} bind def
-/col24 {0.500 0.190 0.000 srgb} bind def
-/col25 {0.630 0.250 0.000 srgb} bind def
-/col26 {0.750 0.380 0.000 srgb} bind def
-/col27 {1.000 0.500 0.500 srgb} bind def
-/col28 {1.000 0.630 0.630 srgb} bind def
-/col29 {1.000 0.750 0.750 srgb} bind def
-/col30 {1.000 0.880 0.880 srgb} bind def
-/col31 {1.000 0.840 0.000 srgb} bind def
-
-end
-save
-newpath 0 157 moveto 0 0 lineto 409 0 lineto 409 157 lineto closepath clip newpath
-% Fill background color
-0 0 moveto 409 0 lineto 409 157 lineto 0 157 lineto
-closepath 1.00 1.00 1.00 setrgbcolor fill
-
--53.0 212.0 translate
-1 -1 scale
-
-/cp {closepath} bind def
-/ef {eofill} bind def
-/gr {grestore} bind def
-/gs {gsave} bind def
-/sa {save} bind def
-/rs {restore} bind def
-/l {lineto} bind def
-/m {moveto} bind def
-/rm {rmoveto} bind def
-/n {newpath} bind def
-/s {stroke} bind def
-/sh {show} bind def
-/slc {setlinecap} bind def
-/slj {setlinejoin} bind def
-/slw {setlinewidth} bind def
-/srgb {setrgbcolor} bind def
-/rot {rotate} bind def
-/sc {scale} bind def
-/sd {setdash} bind def
-/ff {findfont} bind def
-/sf {setfont} bind def
-/scf {scalefont} bind def
-/sw {stringwidth} bind def
-/tr {translate} bind def
-/tnt {dup dup currentrgbcolor
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add
- 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb}
- bind def
-/shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul
- 4 -2 roll mul srgb} bind def
-/reencdict 12 dict def /ReEncode { reencdict begin
-/newcodesandnames exch def /newfontname exch def /basefontname exch def
-/basefontdict basefontname findfont def /newfont basefontdict maxlength dict def
-basefontdict { exch dup /FID ne { dup /Encoding eq
-{ exch dup length array copy newfont 3 1 roll put }
-{ exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall
-newfont /FontName newfontname put newcodesandnames aload pop
-128 1 255 { newfont /Encoding get exch /.notdef put } for
-newcodesandnames length 2 idiv { newfont /Encoding get 3 1 roll put } repeat
-newfontname newfont definefont pop end } def
-/isovec [
-8#055 /minus 8#200 /grave 8#201 /acute 8#202 /circumflex 8#203 /tilde
-8#204 /macron 8#205 /breve 8#206 /dotaccent 8#207 /dieresis
-8#210 /ring 8#211 /cedilla 8#212 /hungarumlaut 8#213 /ogonek 8#214 /caron
-8#220 /dotlessi 8#230 /oe 8#231 /OE
-8#240 /space 8#241 /exclamdown 8#242 /cent 8#243 /sterling
-8#244 /currency 8#245 /yen 8#246 /brokenbar 8#247 /section 8#250 /dieresis
-8#251 /copyright 8#252 /ordfeminine 8#253 /guillemotleft 8#254 /logicalnot
-8#255 /hypen 8#256 /registered 8#257 /macron 8#260 /degree 8#261 /plusminus
-8#262 /twosuperior 8#263 /threesuperior 8#264 /acute 8#265 /mu 8#266 /paragraph
-8#267 /periodcentered 8#270 /cedilla 8#271 /onesuperior 8#272 /ordmasculine
-8#273 /guillemotright 8#274 /onequarter 8#275 /onehalf
-8#276 /threequarters 8#277 /questiondown 8#300 /Agrave 8#301 /Aacute
-8#302 /Acircumflex 8#303 /Atilde 8#304 /Adieresis 8#305 /Aring
-8#306 /AE 8#307 /Ccedilla 8#310 /Egrave 8#311 /Eacute
-8#312 /Ecircumflex 8#313 /Edieresis 8#314 /Igrave 8#315 /Iacute
-8#316 /Icircumflex 8#317 /Idieresis 8#320 /Eth 8#321 /Ntilde 8#322 /Ograve
-8#323 /Oacute 8#324 /Ocircumflex 8#325 /Otilde 8#326 /Odieresis 8#327 /multiply
-8#330 /Oslash 8#331 /Ugrave 8#332 /Uacute 8#333 /Ucircumflex
-8#334 /Udieresis 8#335 /Yacute 8#336 /Thorn 8#337 /germandbls 8#340 /agrave
-8#341 /aacute 8#342 /acircumflex 8#343 /atilde 8#344 /adieresis 8#345 /aring
-8#346 /ae 8#347 /ccedilla 8#350 /egrave 8#351 /eacute
-8#352 /ecircumflex 8#353 /edieresis 8#354 /igrave 8#355 /iacute
-8#356 /icircumflex 8#357 /idieresis 8#360 /eth 8#361 /ntilde 8#362 /ograve
-8#363 /oacute 8#364 /ocircumflex 8#365 /otilde 8#366 /odieresis 8#367 /divide
-8#370 /oslash 8#371 /ugrave 8#372 /uacute 8#373 /ucircumflex
-8#374 /udieresis 8#375 /yacute 8#376 /thorn 8#377 /ydieresis] def
-/Times-Roman /Times-Roman-iso isovec ReEncode
- /DrawEllipse {
- /endangle exch def
- /startangle exch def
- /yrad exch def
- /xrad exch def
- /y exch def
- /x exch def
- /savematrix mtrx currentmatrix def
- x y tr xrad yrad sc 0 0 1 startangle endangle arc
- closepath
- savematrix setmatrix
- } def
-
-/$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def
-/$F2psEnd {$F2psEnteredState restore end} def
-
-$F2psBegin
-%%Page: 1 1
-10 setmiterlimit
- 0.06000 0.06000 sc
-% Polyline
-n 4026 977 m 4011 1025 l 3996 1072 l 3981 1120 l 3966 1177 l 3954 1225 l
- 3944 1272 l 3929 1327 l 3919 1412 l 3909 1477 l 3899 1540 l
- 3894 1592 l 3894 1642 l 3891 1697 l 3889 1742 l 3889 1770 l
- 3394 1767 l 3396 1717 l 3399 1665 l 3409 1610 l 3424 1555 l
- 3439 1502 l 3464 1440 l 3489 1390 l 3516 1340 l 3551 1292 l
- 3584 1250 l 3631 1200 l 3679 1150 l 3731 1110 l 3801 1065 l
- 3869 1030 l 3931 1005 l 3986 982 l 4009 980 l
- cp gs 0.75 setgray ef gr
-/Times-Roman-iso ff 165.00 scf sf
-3965 3044 m
-gs 1 -1 sc (X - XU) col0 sh gr
-/Times-Roman-iso ff 165.00 scf sf
-3688 3299 m
-gs 1 -1 sc (exports_not_used) col0 sh gr
-% Polyline
-n 6107 1757 m 6104 1802 l 6099 1855 l 6094 1902 l 6084 1960 l 6072 2010 l
- 6062 2052 l 6049 2092 l 6032 2122 l 6019 2160 l 6007 2180 l
- 5984 2140 l 5962 2095 l 5944 2057 l 5929 2007 l 5909 1947 l
- 5899 1892 l 5892 1835 l 5889 1800 l 5889 1775 l 5889 1755 l
-
- cp gs 0.75 setgray ef gr
-% Polyline
-n 7309 1757 m 7309 2315 l 7287 2340 l 7259 2365 l 7234 2390 l 7199 2412 l
- 7164 2440 l 7124 2465 l 7092 2482 l 7054 2502 l 7014 2520 l
- 6974 2535 l 6934 2547 l 6897 2557 l 6909 2510 l 6924 2457 l
- 6942 2407 l 6954 2357 l 6967 2297 l 6979 2247 l 6992 2192 l
- 6999 2142 l 7009 2095 l 7012 2045 l 7019 1990 l 7022 1945 l
- 7027 1900 l 7029 1855 l 7029 1805 l 7032 1765 l 7029 1752 l
-
- cp gs 0.75 setgray ef gr
-/Times-Roman-iso ff 165.00 scf sf
-6000 3014 m
-gs 1 -1 sc (L * \(UU + \(XU - LU\)\)) col0 sh gr
-/Times-Roman-iso ff 165.00 scf sf
-5850 3299 m
-gs 1 -1 sc (locals_not_used \(simplified\)) col0 sh gr
-% Polyline
-n 1395 1777 m 1400 1857 l 1405 1935 l 1407 2010 l 1417 2070 l 1425 2137 l
- 1440 2215 l 1455 2297 l 1470 2365 l 1490 2437 l 1510 2495 l
- 1527 2547 l 1535 2580 l 1600 2595 l 1672 2605 l 1772 2602 l
- 1865 2595 l 1947 2572 l 2005 2555 l 2075 2525 l 2150 2482 l
- 2207 2442 l 2260 2400 l 2295 2367 l 2325 2332 l 2325 1775 l
-
- cp gs 0.75 setgray ef gr
-% Polyline
-n 2330 1222 m 2365 1265 l 2402 1317 l 2437 1382 l 2477 1455 l 2500 1517 l
- 2520 1585 l 2532 1645 l 2540 1712 l 2542 1780 l 2540 1842 l
- 2535 1907 l 2527 1957 l 2517 1990 l 2325 1987 l
- cp gs 0.75 setgray ef gr
-/Times-Roman-iso ff 165.00 scf sf
-1331 3044 m
-gs 1 -1 sc (XU - X - B) col0 sh gr
-/Times-Roman-iso ff 165.00 scf sf
-1113 3314 m
-gs 1 -1 sc (undefined_functions) col0 sh gr
-% Polyline
-7.500 slw
-n 4816 1982 m
- 5008 1982 l gs 0.95 setgray ef gr gs col0 s gr
-% Polyline
-n 7308 1967 m
- 7500 1967 l gs 0.95 setgray ef gr gs col0 s gr
-% Polyline
-n 2324 1989 m
- 2516 1989 l gs 0.95 setgray ef gr gs col0 s gr
-/Times-Roman-iso ff 150.00 scf sf
-1275 3525 m
-gs 1 -1 sc (\(modules mode\)) col0 sh gr
-% Arc
-n 2652.5 1773.5 960.5 -25.7 25.7 arc
-gs col-1 s gr
-
-% Arc
-n 6307.0 1773.0 2416.0 160.6 -160.6 arc
-gs col-1 s gr
-
-% Arc
-n 2105.3 1773.0 2432.7 -19.2 19.2 arc
-gs col-1 s gr
-
-% Ellipse
-n 4214 1774 820 821 0 360 DrawEllipse gs col-1 s gr
-
-% Polyline
-n 4817 2325 m 4825 2325 l gs col-1 s gr
-% Polyline
-n 4816 1217 m
- 4816 2329 l gs col-1 s gr
-% Polyline
-n 3392 1769 m
- 4816 1769 l gs col-1 s gr
-% Arc
-n 5144.5 1758.5 960.5 -25.7 25.7 arc
-gs col-1 s gr
-
-% Arc
-n 8799.0 1758.0 2416.0 160.6 -160.6 arc
-gs col-1 s gr
-
-% Arc
-n 4597.3 1758.0 2432.7 -19.2 19.2 arc
-gs col-1 s gr
-
-% Ellipse
-n 6706 1759 820 821 0 360 DrawEllipse gs col-1 s gr
-
-% Polyline
-n 7309 2310 m 7317 2310 l gs col-1 s gr
-% Polyline
-n 7308 1202 m
- 7308 2314 l gs col-1 s gr
-% Polyline
-n 5884 1754 m
- 7308 1754 l gs col-1 s gr
-% Arc
-n 160.5 1780.5 960.5 -25.7 25.7 arc
-gs col-1 s gr
-
-% Arc
-n 3815.0 1780.0 2416.0 160.6 -160.6 arc
-gs col-1 s gr
-
-% Arc
-n -386.7 1780.0 2432.7 -19.2 19.2 arc
-gs col-1 s gr
-
-% Ellipse
-n 1722 1781 820 821 0 360 DrawEllipse gs col-1 s gr
-
-% Polyline
-n 2325 2332 m 2333 2332 l gs col-1 s gr
-% Polyline
-n 2324 1224 m
- 2324 2336 l gs col-1 s gr
-% Polyline
-n 900 1776 m
- 2324 1776 l gs col-1 s gr
-$F2psEnd
-rs
diff --git a/lib/tools/src/cover.erl b/lib/tools/src/cover.erl
index c2c627abe0..bf21aa6b48 100644
--- a/lib/tools/src/cover.erl
+++ b/lib/tools/src/cover.erl
@@ -721,6 +721,11 @@ main_process_loop(State) ->
end,
State#main_state.nodes),
reload_originals(State#main_state.compiled),
+ ets:delete(?COVER_TABLE),
+ ets:delete(?COVER_CLAUSE_TABLE),
+ ets:delete(?BINARY_TABLE),
+ ets:delete(?COLLECTION_TABLE),
+ ets:delete(?COLLECTION_CLAUSE_TABLE),
unregister(?SERVER),
reply(From, ok);
@@ -876,6 +881,8 @@ remote_process_loop(State) ->
{remote,stop} ->
reload_originals(State#remote_state.compiled),
+ ets:delete(?COVER_TABLE),
+ ets:delete(?COVER_CLAUSE_TABLE),
unregister(?SERVER),
ok; % not replying since 'DOWN' message will be received anyway