Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetics: use explicitly 'not' instead of a raw !
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 8 May 2018 10:50:46 +0000 (12:50 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 8 May 2018 17:51:34 +0000 (19:51 +0200)
examples/msg/dht-pastry/dht-pastry.c
teshsuite/msg/app-bittorrent/bittorrent-peer.c

index e4e4809..0cf0155 100644 (file)
@@ -1,5 +1,4 @@
-/* Copyright (c) 2013-2018. The SimGrid Team.
- * All rights reserved.                                                     */
+/* Copyright (c) 2013-2018. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -313,7 +312,7 @@ static void handle_task(node_t node, msg_task_t task) {
       // if the node is ready, do all the pending tasks and send update to known nodes
       if (node->ready==0) {
         XBT_DEBUG("Node %i is ready!!!", node->id);
-        while (!xbt_dynar_is_empty(node->pending_tasks)) {
+        while (not xbt_dynar_is_empty(node->pending_tasks)) {
           msg_task_t task;
           xbt_dynar_shift(node->pending_tasks, &task);
           handle_task(node, task);
index 700d920..69818a5 100644 (file)
@@ -591,7 +591,7 @@ void update_choked_peers(peer_t peer)
   // remove a peer from the list
   xbt_dict_cursor_t cursor = NULL;
   xbt_dict_cursor_first(peer->active_peers, &cursor);
-  if (!xbt_dict_is_empty(peer->active_peers)) {
+  if (not xbt_dict_is_empty(peer->active_peers)) {
     key_choked  = xbt_dict_cursor_get_key(cursor);
     peer_choked = xbt_dict_cursor_get_data(cursor);
   }