From a88f67821ca828d9b4d3453b19de60e27ab24efc Mon Sep 17 00:00:00 2001
From: Juan Linietsky
Date: Sat, 12 Sep 2015 10:54:47 -0300
Subject: HTML5 exporter seems to be fully functional -user:// filesystem
 implemented -default template page could look prettier, help appreciated

---
 platform/javascript/os_javascript.h | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'platform/javascript/os_javascript.h')

diff --git a/platform/javascript/os_javascript.h b/platform/javascript/os_javascript.h
index d52c465c7..55ac7cdae 100644
--- a/platform/javascript/os_javascript.h
+++ b/platform/javascript/os_javascript.h
@@ -65,6 +65,9 @@ private:
 
 	bool use_gl2;
 
+	int64_t time_to_save_sync;
+	int64_t last_sync_time;
+
 	Rasterizer *rasterizer;
 	VisualServer *visual_server;
 	AudioServerJavascript *audio_server;
@@ -84,6 +87,8 @@ private:
 	GetDataDirFunc get_data_dir_func;
 	GetLocaleFunc get_locale_func;
 
+	static void _close_notification_funcs(const String& p_file,int p_flags);
+
 public:
 
 	// functions used by main to initialize/deintialize the OS
@@ -106,7 +111,7 @@ public:
 
 	typedef int64_t ProcessID;
 
-	static OS* get_singleton();
+	//static OS* get_singleton();
 
 	virtual void vprint(const char* p_format, va_list p_list, bool p_stderr=false);
 	virtual void print(const char *p_format, ... );
-- 
cgit v1.2.3-70-g09d2