update search result in prompt

src/web/web.ts

@@ -85,19 +85,22 @@ export const getSystemPromptForWeb = async (
       //   )
       //   .join("\n")
     }
-
-    const search_results =  iodSearchResults.map((res) => ({
+    const iod_search_results =  iodSearchResults.map((res) => ({
       url: `${res.doId}: ${res.name}`,
       content: res.description
-    }))
-      .concat(
-        webSearchResults
-      )
-      .map(
-        (result, idx) =>
-          `<result source="${result.url}" id="${idx}">${result.content}</result>`
-      )
-      .join("\n")
+    })).map(
+      (result, idx) =>
+        `<result source="${result.url}" id="${idx}">${result.content}</result>`
+    )
+    .join("\n");
+    console.log("iod_search_result:"+iod_search_results);
+    const web_search_results = webSearchResults.map(
+      (result, idx) =>
+        `<result source="${result.url}" id="${idx}">${result.content}</result>`
+    )
+    .join("\n");
+    const search_results = (iodSearch?"<数联网搜索结果>"+iod_search_results+"</数联网搜索结果>":"")
+      + (webSearch?"<万维网搜索结果>"+web_search_results+"</万维网搜索结果>":"");
 
     const current_date_time = new Date().toLocaleString()