use compression for user stats

Hagellach37 · Hagellach37 · commit 0977bfc7483a · 2021-03-03T14:11:48.000+01:00
diff --git a/mapswipe_workers/mapswipe_workers/generate_stats/project_stats.py b/mapswipe_workers/mapswipe_workers/generate_stats/project_stats.py
@@ -378,7 +378,9 @@ def get_per_project_statistics(project_id: str, project_info: pd.Series) -> dict
                 results_df, agg_results_df
             )
             agg_results_by_user_id_df.to_csv(
-                agg_results_by_user_id_filename, index_label="idx"
+                agg_results_by_user_id_filename,
+                index_label="idx",
+                compression="gzip"
             )
             logger.info(
                 f"saved agg results for {project_id}: {agg_results_by_user_id_filename}"

Original file line number	Diff line number	Diff line change
`@@ -378,7 +378,9 @@ def get_per_project_statistics(project_id: str, project_info: pd.Series) -> dict`
`378`	`378`	`results_df, agg_results_df`
`379`	`379`	`)`
`380`	`380`	`agg_results_by_user_id_df.to_csv(`
`381`		`- agg_results_by_user_id_filename, index_label="idx"`
	`381`	`+ agg_results_by_user_id_filename,`
	`382`	`+ index_label="idx",`
	`383`	`+ compression="gzip"`
`382`	`384`	`)`
`383`	`385`	`logger.info(`
`384`	`386`	`f"saved agg results for {project_id}: {agg_results_by_user_id_filename}"`