4a97bf1 fix bug that occurs when no pid is given at the command line, already fixed in upstream HEAD

Authored and Committed by Marcel Wysocki 11 years ago
    fix bug that occurs when no pid is given at the command line, already fixed in upstream HEAD
    
        
file modified
+8 -1
file added
+26