#
#
# patch "rcs_import.cc"
#  from [e97e5cf2d4725179e49b6ba48bab3517088b0afa]
#    to [cb27c2c5abed3e2822bbb09ff8e127b52f0d56f0]
#
============================================================
--- rcs_import.cc	e97e5cf2d4725179e49b6ba48bab3517088b0afa
+++ rcs_import.cc	cb27c2c5abed3e2822bbb09ff8e127b52f0d56f0
@@ -2092,7 +2092,8 @@ void cvs_history::depth_first_search(blo
       {
         dfs_context ctx = stack.top();
         stack.pop();
-        while (ctx.ei != blobs[ctx.bi].get_dependents(*this).end())
+        while ((ctx.ei != blobs[ctx.bi].get_dependents(*this).end()) &&
+                !vis.abort())
           {
             // vis.examine_edge(*ei, g);
             if (blobs[*ctx.ei].colors[0] == white)