Hi,
There aren't any relation between Edocman extension and Joomla Update. So that, we can't help you to solve this kind of issue. By the way, you can download Joomla Update Package from Joomla site and upload it into your hosting before extracting it. That's one way to upgrade Joomla system.
Thanks
Dam