fix initializing the global c

* LPUSH into redis