From 0053ae4f59b8b263070a8c348bdd6a2bf5709df5 Mon Sep 17 00:00:00 2001
From: Marcos Pinto <markybob@dipconsultants.com>
Date: Wed, 8 Aug 2007 23:56:42 +0000
Subject: [PATCH] pickle instead of sync in set_user_pause

---
 src/core.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core.py b/src/core.py
index d8fd90586..1b74320fd 100644
--- a/src/core.py
+++ b/src/core.py
@@ -709,7 +709,7 @@ class Manager:
         self.unique_IDs[unique_ID].user_paused = new_value
         if enforce_queue:
             self.apply_queue()
-        self.sync()
+        self.pickle_state()
 
     def set_ratio(self, unique_ID, num):
         deluge_core.set_ratio(unique_ID, float(num))