on.quit = function()
	if Global_next_save then
		save_graph_to_disk()
	end
end