From 9caa1fa82a67fedda1ae135b58f85a82deb5f637 Mon Sep 17 00:00:00 2001
From: Bill <sunyinqi0508@gmail.com>
Date: Fri, 18 Nov 2022 16:19:01 +0800
Subject: [PATCH] fix 'ascii' codec can't encode characters

---
 reconstruct/__init__.py | 3 ++-
 server/table.h          | 6 +++---
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/reconstruct/__init__.py b/reconstruct/__init__.py
index 97afaba..0bbba8c 100644
--- a/reconstruct/__init__.py
+++ b/reconstruct/__init__.py
@@ -29,7 +29,8 @@ def exec(stmts, cxt = None, keep = False):
     else:
         generate(stmts_stmts, cxt)
     for q in cxt.queries:
-        cxt.print(q.strip())
+        if not q.startswith('O'):
+            cxt.print(q.strip())
     return cxt
     
 __all__ = ["initialize", "generate", "exec", "saved_cxt"]
diff --git a/server/table.h b/server/table.h
index 1646088..c726017 100644
--- a/server/table.h
+++ b/server/table.h
@@ -77,7 +77,7 @@ public:
 	}
 	template<template <typename> class VT, typename T>
 	void initfrom(VT<T>&& v, const char* name = "") {
-		puts("rref");
+		// puts("rref");
 		ty = types::Types<_Ty>::getType();
 		this->size = v.size;
 		this->capacity = v.capacity;
@@ -87,7 +87,7 @@ public:
 	}
 	template<template <typename> class VT, typename T>
 	void initfrom(VT<T>& v, const char* name = "") {
-		puts("lref");
+		// puts("lref");
 		ty = types::Types<_Ty>::getType();
 		this->size = v.size;
 		this->capacity = 0;
@@ -97,7 +97,7 @@ public:
 	}
 	template<template <typename> class VT, typename T>
 	void initfrom(const VT<T>& v, const char* name = "") {
-		puts("constlref");
+		// puts("constlref");
 		ty = types::Types<_Ty>::getType();
 		this->size = v.size;
 		this->capacity = 0;