Update with new lefty, fixing many bugs and supporting new features

diff --git a/cmd/dotty/dotty.bsh b/cmd/dotty/dotty.bsh
index e4a256eb020a43c5793677e19adbf237c31c1d68..f45da3a17c0eb7a951dbe4133527340e09ce24db 100755 (executable)
--- a/cmd/dotty/dotty.bsh
+++ b/cmd/dotty/dotty.bsh
@@ -84,7 +84,7 @@ if [ ! -f "$leftypath" ]; then
     exit 1
 fi
 
-exec $leftypath -e "
+$leftypath -e "
 load ('dotty.lefty');
 checkpath = function () {
     if (tablesize (dotty) > 0)