From 7c0dc35cabe04c6ea1a9bbfb5990e0691ab5fc14 Mon Sep 17 00:00:00 2001
From: zhupengfei <zhupf321@gmail.com>
Date: Fri, 7 Aug 2020 13:56:33 +0800
Subject: [PATCH] Dump ticket.db

In case we need it later
---
 dist/threeSDumper.gm9 | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dist/threeSDumper.gm9 b/dist/threeSDumper.gm9
index 2850779..8c61602 100644
--- a/dist/threeSDumper.gm9
+++ b/dist/threeSDumper.gm9
@@ -36,6 +36,9 @@ else
     cp -w -n "1:/dbs/certs.db" $[OUT]/certs.db
 end
 
+# === ticket.db
+cp -w -n "1:/dbs/ticket.db" $[OUT]/ticket.db
+
 # === Safe mode firm
 if not find $[OUT]/firm NULL
     mkdir $[OUT]/firm