string formatting - line 112 (#7881)

% is used to cast objects, %s to string etc. now, if int or float, the corresponding formatting (like %d) should be used instead of converting via str() then passing via  %s (double job as the purpose of formatting is precisely to allow even numbers)

now .format() is supported since py2.7 . it is more flexible and less dense

utils/cinnamon-stap-monitor/cinnamon-stap-monitor.py

@@ -107,9 +107,9 @@ def update_timer_label(self):
 
         elapsed = now - self.start_time
 
-        string = str(timedelta(seconds=int(elapsed + .5)))
+        time_passed = timedelta(seconds=int(elapsed + .5))
 
-        self.timer_label.set_text("Elapsed time: %s" % string)
+        self.timer_label.set_text("Elapsed time: {}".format(time_passed))
 
         return True