Fix redbean history

Fixes #903
jart · Oct 3, 2023 · 5212f78 · 5212f78
1 parent fcdda40
commit 5212f78
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tool/net/redbean.c b/tool/net/redbean.c
@@ -7461,9 +7461,12 @@ void RedBean(int argc, char *argv[]) {
 }
 
 int main(int argc, char *argv[]) {
+  lua_progname = "redbean";
+
 #if !IsTiny()
   ShowCrashReports();
 #endif
+
   LoadZipArgs(&argc, &argv);
   RedBean(argc, argv);