FIX bug du process qui ne se terminait pas lorsque la connexion tcp était fermé ...

[euphorik.git] / modules / erl / euphorik_bd.erl

diff --git a/modules/erl/euphorik_bd.erl b/modules/erl/euphorik_bd.erl
index d354c21..a6099fe 100755 (executable)
--- a/modules/erl/euphorik_bd.erl
+++ b/modules/erl/euphorik_bd.erl
@@ -640,8 +640,12 @@ attend_evenement_troll() ->
          {add, [Troll]};
       {mnesia_table_event, {delete, troll, {troll, Id}, _, _}} ->
          {del, Id};
+      {tcp_closed, _} ->
+         exit(normal);
       _ ->
          attend_evenement_troll()
+   % 60 minutes de timeout (on ne sais jamais)
+   % Après 60 minutes de connexion, le client doit donc reétablir une connexion
    after 1000 * 60 * 60 -> 
       timeout
    end.