other android fixes

2019-06-16 20:05:06 -04:00
1 parent e426c45209
commit d18096f09f
@@ -613,7 +613,6 @@ async function buildpage()
        optionsection.appendChild(container);
    }
    
-    
    await get_real_platform();
    
    if(platform != "android")