Add metrics

KrisSimon · KrisSimon · commit 85e406c4aac5 · 2026-01-30T17:25:23.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -2,3 +2,4 @@
 /.idea
 /.build
 /output
+/crawler
diff --git a/main.aro b/main.aro
@@ -25,5 +25,6 @@
 
 (Application-End: Success) {
     <Log> "🥁 Web Crawler completed!" to the <console>.
+    <Log> the <metrics: table> to the <console>.
     <Return> an <OK: status> for the <shutdown>.
 }

-Original file line number
+Diff line change
 /.idea
 /.build
 /output
 +/crawler
Original file line number	Diff line number	Diff line change
`@@ -25,5 +25,6 @@`
`25`	`25`
`26`	`26`	`(Application-End: Success) {`
`27`	`27`	`<Log> "🥁 Web Crawler completed!" to the <console>.`
	`28`	`+ <Log> the <metrics: table> to the <console>.`
`28`	`29`	`<Return> an <OK: status> for the <shutdown>.`
`29`	`30`	`}`