changed right arrow to modern unicode literal

2017-09-18 15:55:54 +03:00 · 2017-09-18 15:55:54 +03:00 · a35e96fc91
parent dc24647488
commit a35e96fc91
1 changed files with 2 additions and 5 deletions
--- a/monkey_island/cc/services/edge.py
+++ b/monkey_island/cc/services/edge.py
@ -195,10 +195,7 @@ class EdgeService:
        else:
            to_label = NodeService.get_monkey_label(to_id)

-        RIGHT_ARROW = unichr(8594)
-        return "%s %s %s" % (
-            from_label,
-            RIGHT_ARROW,
-            to_label)
+        RIGHT_ARROW = u"\u2192"
+        return "%s %s %s" % (from_label, RIGHT_ARROW, to_label)