Follow JSON rules for what looks like a number in a CSV

2026-10-02 08:25:40 +02:00 · 2017-10-10 16:22:47 -07:00
parent 86a4ce67a6
commit 68a55b8749
4 changed files with 61 additions and 5 deletions
@@ -190,10 +190,6 @@ void out(std::string const &s, int type, json_object *properties) {

 std::string prev_joinkey;

-bool is_number(std::string const &s) {
-	return false;  // XXX
-}
-
 void join_csv(json_object *j) {
 	if (header.size() == 0) {
 		std::string s = csv_getline(csvfile);