project_files/Android-build/SDL-android-project/src/org/hedgewars/hedgeroid/Downloader/DownloadPackage.java
author Wuzzy <Wuzzy2@mail.ru>
Sat, 21 Oct 2017 18:38:28 +0200
changeset 12734 4e0e59255856
parent 10017 de822cd3df3a
permissions -rw-r--r--
Sniper rifle mission: Faster dynamite blow-up, also skip with precise
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
     1
/*
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
     2
 * Hedgewars for Android. An Android port of Hedgewars, a free turn based strategy game
6700
e04da46ee43c the most important commit of the year
koda
parents: 6350
diff changeset
     3
 * Copyright (c) 2011-2012 Richard Deurwaarder <xeli@xelification.com>
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
     4
 *
7584
7831c84cc644 License change: With the agreement of Xeli, I changed the Hedgeroid license to
Medo <smaxein@googlemail.com>
parents: 7508
diff changeset
     5
 * This program is free software; you can redistribute it and/or
7831c84cc644 License change: With the agreement of Xeli, I changed the Hedgeroid license to
Medo <smaxein@googlemail.com>
parents: 7508
diff changeset
     6
 * modify it under the terms of the GNU General Public License
7831c84cc644 License change: With the agreement of Xeli, I changed the Hedgeroid license to
Medo <smaxein@googlemail.com>
parents: 7508
diff changeset
     7
 * as published by the Free Software Foundation; either version 2
7831c84cc644 License change: With the agreement of Xeli, I changed the Hedgeroid license to
Medo <smaxein@googlemail.com>
parents: 7508
diff changeset
     8
 * of the License, or (at your option) any later version.
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
     9
 *
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    10
 * This program is distributed in the hope that it will be useful,
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    11
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    12
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    13
 * GNU General Public License for more details.
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    14
 *
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    16
 * along with this program; if not, write to the Free Software
7584
7831c84cc644 License change: With the agreement of Xeli, I changed the Hedgeroid license to
Medo <smaxein@googlemail.com>
parents: 7508
diff changeset
    17
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    18
 */
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    19
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    20
package org.hedgewars.hedgeroid.Downloader;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    21
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    22
import java.io.IOException;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    23
7508
763d3961400b Hedgeroid: Frantic scrabbling toward the deadline
Medo <smaxein@googlemail.com>
parents: 6842
diff changeset
    24
import org.hedgewars.hedgeroid.util.FileUtils;
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    25
import org.xmlpull.v1.XmlPullParser;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    26
import org.xmlpull.v1.XmlPullParserException;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    27
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    28
import android.content.Context;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    29
import android.content.SharedPreferences;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    30
import android.os.Parcel;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    31
import android.os.Parcelable;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    32
import android.preference.PreferenceManager;
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    33
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    34
public class DownloadPackage implements Parcelable{
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    35
    private String url_without_suffix;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    36
    private String pathToStore;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    37
    private String representation;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    38
    private String description;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    39
    private int versionNumber;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    40
    private final Status status;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    41
    private int uniqueId;
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    42
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    43
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    44
    public DownloadPackage(Parcel src){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    45
        url_without_suffix = src.readString();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    46
        pathToStore = src.readString();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    47
        representation = src.readString();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    48
        versionNumber = src.readInt();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    49
        status = Status.values()[src.readInt()];
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    50
        description = src.readString();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    51
        uniqueId = src.readInt();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    52
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    53
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    54
    public DownloadPackage(Context c, String _url_without_suffix, String path, int version, String _representation, String _description, int _uniqueId){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    55
        url_without_suffix = _url_without_suffix;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    56
        pathToStore = path;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    57
        representation = _representation;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    58
        versionNumber = version;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    59
        description = _description;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    60
        uniqueId = _uniqueId;
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    61
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    62
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    63
        //determine if the user has already downloaded this version
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    64
        SharedPreferences sharedPref = PreferenceManager.getDefaultSharedPreferences(c);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    65
        int currentVersion = sharedPref.getInt(representation, -1);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    66
        if(currentVersion == versionNumber) status = Status.CURRENTVERSION;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    67
        else if (currentVersion < versionNumber) status = Status.NEWERVERSION;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    68
        else status = Status.OLDERVERSION;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    69
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    70
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    71
    public Status getStatus(){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    72
        return status;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    73
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    74
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    75
    public String getURL(){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    76
        return url_without_suffix;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    77
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    78
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    79
    public String getPathToStore(){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    80
        return pathToStore;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    81
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    82
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    83
    public String toString(){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    84
        return representation;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    85
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    86
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    87
    public int describeContents() {
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    88
        return 0;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    89
    }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    90
    public int getId(){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    91
        return uniqueId;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    92
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
    93
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    94
    public void writeToParcel(Parcel dest, int flags) {
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    95
        dest.writeString(url_without_suffix);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    96
        dest.writeString(pathToStore);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    97
        dest.writeString(representation);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    98
        dest.writeInt(versionNumber);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
    99
        dest.writeInt(status.ordinal());
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   100
        dest.writeString(description);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   101
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
   102
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   103
    public static final Parcelable.Creator<DownloadPackage> CREATOR = new Parcelable.Creator<DownloadPackage>() {
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   104
        public DownloadPackage createFromParcel(Parcel source) {
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   105
            return new DownloadPackage(source);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   106
        }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   107
        public DownloadPackage[] newArray(int size) {
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   108
            return new DownloadPackage[size];
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   109
        }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   110
    };
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
   111
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   112
    /*
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   113
     * We enter with a XmlPullParser.Start_tag with name "task"
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   114
     */
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   115
    public static DownloadPackage getTaskFromXML(Context c, XmlPullParser xmlPuller) throws XmlPullParserException, IOException{
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   116
        String url = null;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   117
        String path = null;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   118
        String representation = null;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   119
        String description = null;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   120
        int uniqueId = -1;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   121
        int version = -1;
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
   122
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   123
        int eventType = DownloadPackage.getEventType(xmlPuller);//get the next token, should be a start tag
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   124
        while(eventType != XmlPullParser.END_DOCUMENT){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   125
            switch(eventType){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   126
            case XmlPullParser.START_TAG:
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   127
                String name = xmlPuller.getName().toLowerCase();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   128
                if(DownloadPackage.getEventType(xmlPuller) == XmlPullParser.TEXT){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   129
                    String text = xmlPuller.getText().trim();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   130
                    if(name.equals("url")){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   131
                        url = text;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   132
                    }else if(name.equals("version")){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   133
                        try{
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   134
                        version = Integer.parseInt(text);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   135
                        }catch (NumberFormatException e){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   136
                            e.printStackTrace();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   137
                            version = -1;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   138
                        }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   139
                    }else if(name.equals("path")){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   140
                        path = FileUtils.getDataPathFile(c, text).getAbsolutePath();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   141
                    }else if(name.equals("representation")){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   142
                        representation = text;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   143
                    }else if(name.equals("description")){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   144
                        description = text;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   145
                    }else if(name.equals("uniqueid")){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   146
                        try{
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   147
                            uniqueId = Integer.parseInt(text);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   148
                            }catch (NumberFormatException e){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   149
                                e.printStackTrace();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   150
                                version = -1;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   151
                            }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   152
                    }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   153
                }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   154
                DownloadPackage.getEventType(xmlPuller);//endtag
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   155
                break;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   156
            case XmlPullParser.END_TAG:
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   157
                if(xmlPuller.getName().toLowerCase().equals("task") && url != null && path != null && version != -1 && representation != null){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   158
                    return new DownloadPackage(c, url, path, version, representation, description, uniqueId);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   159
                }else{
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   160
                    throw new XmlPullParserException("XML download parsing: missing tags");
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   161
                }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   162
            case XmlPullParser.TEXT:
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   163
                throw new XmlPullParserException("Wrong tag recieved got TEXT : " + xmlPuller.getText());
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   164
            default:
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   165
                throw new XmlPullParserException("Wrong tag recieved got: " + eventType);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   166
            }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   167
            eventType = DownloadPackage.getEventType(xmlPuller);
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   168
        }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   169
        throw new XmlPullParserException("Xml: unexpected endofdocument tag");
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   170
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
   171
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   172
    /**
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   173
     * Skips whitespaces..
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   174
     */
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   175
    private static int getEventType(XmlPullParser xmlPuller)throws XmlPullParserException, IOException{
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   176
        int eventType = xmlPuller.next();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   177
        while(eventType == XmlPullParser.TEXT && xmlPuller.isWhitespace()){
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   178
            eventType = xmlPuller.next();
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   179
        }
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   180
        return eventType;
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   181
    }
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
   182
}
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
   183
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
   184
enum Status{
10017
de822cd3df3a fixwhitespace and dos2unix
koda
parents: 7586
diff changeset
   185
    CURRENTVERSION, NEWERVERSION, OLDERVERSION;
6350
41b0a9955c47 new download manager \o/
Xeli
parents:
diff changeset
   186
}