Cambios al debugueador parte 2
Merge branch 'master' of https://github.com/halonsov/pki