kiwix/kiwix-js
1
0
Fork 0
mirror of https://github.com/kiwix/kiwix-js.git synced 2025-09-24 04:54:51 -04:00
Code Issues Packages Projects Releases Wiki Activity

Slight improvement to DeviceStorage detection

Browse Source
This commit is contained in:
mossroy 2013-01-02 11:02:07 +01:00
parent 26c783edcb
commit 4425806fe0
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
evopedia-html5/evopedia.html
View File

@ -37,8 +37,8 @@ License:
<body> <body>
<h1>Evopedia</h1> <h1>Evopedia</h1>
<div id="openLocalFiles" style="display: none;">
<br /> <br />
<div id="openLocalFiles" style="visibility: hidden">
Please select the file titles.idx :<br /> <input type="file" Please select the file titles.idx :<br /> <input type="file"
id="titleFile" /><br /> Please select the files wikipedia_*.dat from id="titleFile" /><br /> Please select the files wikipedia_*.dat from
the same dump :<br /> <input type="file" id="dataFiles" multiple /> the same dump :<br /> <input type="file" id="dataFiles" multiple />

7
evopedia-html5/evopedia.js
View File

@ -26,14 +26,13 @@ License:
var dataFiles=document.getElementById('dataFiles').files; var dataFiles=document.getElementById('dataFiles').files;
var titleFile=document.getElementById('titleFile').files[0]; var titleFile=document.getElementById('titleFile').files[0];
var storage = navigator.getDeviceStorage('music'); if (!navigator.getDeviceStorage || !navigator.getDeviceStorage('music')) {
if (!storage) { document.getElementById('openLocalFiles').style.display="block";
//alert("no device storage available");
document.getElementById('openLocalFiles').style.visibility="visible";
document.getElementById('dataFiles').addEventListener('change', handleDataFileSelect, false); document.getElementById('dataFiles').addEventListener('change', handleDataFileSelect, false);
document.getElementById('titleFile').addEventListener('change', handleTitleFileSelect, false); document.getElementById('titleFile').addEventListener('change', handleTitleFileSelect, false);
} }
else { else {
var storage = navigator.getDeviceStorage('music');
var filerequest = storage.get('wikipedia_small_2010-08-14/wikipedia_00.dat'); var filerequest = storage.get('wikipedia_small_2010-08-14/wikipedia_00.dat');
filerequest.onsuccess = function() { filerequest.onsuccess = function() {
dataFiles[0] = filerequest.result; dataFiles[0] = filerequest.result;