Para que se pueda salir con Ctrl-C.

diff --git a/inst/afimonio b/inst/afimonio
index ca729b23073692722dfe665a9eb73bb8cc88f885..95b1ab555d74bc3d2cbe86ee1f44b9606e7652b5 100644 (file)
--- a/inst/afimonio
+++ b/inst/afimonio
@@ -10,6 +10,7 @@ trap "finalize" INT
 # Es llamada por los trap para deslockear el afimonio 
 finalize() {
        unlock "afimonio" 
+       exit 0
 }
 
 # filtra el nombre del archivo pasado por parametro sacandole todos los