Changed the way tsmgr is called

Samo Penic

2016-05-13 9f5ff50a40f78ecdf25ec6bcd4e5490152db81d6

 src/restore.c

@@ -83,7 +83,7 @@

/* TODO: filaments */

   fprintf(stderr,"Restoration completed\n");
   ts_fprintf(stdout,"Restoration completed\n");
//   write_vertex_xml_file(vesicle,999);
//   vesicle_free(vesicle);
//   exit(0);