cdef444 Hotfix for a crash in the push script.

Authored and Committed by abompard a year ago
    Hotfix for a crash in the push script.
    
        
file modified
+6 -1