model-checker : update tesh files

[simgrid.git] / examples / msg / bittorrent / connection.c

diff --git a/examples/msg/bittorrent/connection.c b/examples/msg/bittorrent/connection.c
index d19d67c..0378f4a 100644 (file)
--- a/examples/msg/bittorrent/connection.c
+++ b/examples/msg/bittorrent/connection.c
@@ -1,4 +1,4 @@
-  /* Copyright (c) 2012. The SimGrid Team.
+  /* Copyright (c) 2012-2013. The SimGrid Team.
    * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -15,6 +15,7 @@ connection_t connection_new(int id)
   connection->id = id;
   connection->mailbox = bprintf("%d", id);
   connection->bitfield = NULL;
+  connection->current_piece = -1;
   connection->interested = 0;
   connection->am_interested = 0;
   connection->choked_upload = 1;