3e7c9a9 backend: drop unused option max_workers

Authored and Committed by praiskup 4 years ago
    backend: drop unused option max_workers
    
    This was just misleading in code and example config file, this is not
    used for some time (since 1c51da66151df0e1add7ca8 I think).
    
    Merges: #1022
    
        
file modified
+0 -3