nani/app

Julien LepillerSun Jul 24 16:48:34+0200 2022

246b72e

Do not delete dictionary when downloading

app/src/main/java/eu/lepiller/nani/DictionaryDownloadService.java

                     File temporaryFile = e.getValue().first;
                     File cacheFile = e.getValue().second;
                     boolean newFile = downloadSha256(new URL(uri + ".sha256"), new File(cacheFile + ".sha256"));
                     boolean newFile = downloadSha256(new URL(uri + ".sha256"), new File(temporaryFile + ".sha256"));
                     if(newFile) {
                         d.remove();
                         d.removeTemporary();
                     }
                     long expectedFileLength = getRange(new URL(uri));

app/src/main/java/eu/lepiller/nani/dictionary/Dictionary.java

 import android.graphics.Canvas;
 import android.graphics.drawable.BitmapDrawable;
 import android.graphics.drawable.Drawable;
 import android.util.Log;
 import android.util.Pair;
 import androidx.core.content.res.ResourcesCompat;
     abstract public void remove();
     public void removeTemporary() {
         if(getTemporaryFile().exists())
             if(!getTemporaryFile().delete())
                 Log.w("DICTIONARY", getTemporaryFile() + " was not deleted as expected.");
     }
     public static String readSha256FromFile(File file) throws IOException {
         StringBuilder sb = new StringBuilder();
         char[] data = new char[4096];

app/src/main/java/eu/lepiller/nani/dictionary/RadicalDict.java

         radicalStrokeCount.clear();
         radicals.clear();
     }
     private void fillStrokeCount(RandomAccessFile file) throws IOException{
         int size = file.readShort();
         for(int i=0; i<size; i++) {