[gnome-documents] application, miner: Pass 'documents' as the index type to RefreshDB

[Debarshi Ray <debarshir src gnome org>]

commit 56ead0a40f861032679f527b2d0c7d5efd2d48eb
Author: Debarshi Ray <debarshir gnome org>
Date:   Fri Jul 11 09:54:07 2014 +0200

    application, miner: Pass 'documents' as the index type to RefreshDB
    
    https://bugzilla.gnome.org/show_bug.cgi?id=732677

 src/application.js |    2 +-
 src/miners.js      |    4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/src/application.js b/src/application.js
index f4ddaeb..0315bc1 100644
--- a/src/application.js
+++ b/src/application.js
@@ -303,7 +303,7 @@ const Application = new Lang.Class({
         this.emitJS('miners-changed', this.minersRunning);
 
         miner._cancellable = new Gio.Cancellable();
-        miner.RefreshDBRemote(miner._cancellable, Lang.bind(this,
+        miner.RefreshDBRemote(['documents'], miner._cancellable, Lang.bind(this,
             function(res, error) {
                 this.minersRunning = this.minersRunning.filter(
                     function(element) {
diff --git a/src/miners.js b/src/miners.js
index bcb0a22..f3cd49c 100644
--- a/src/miners.js
+++ b/src/miners.js
@@ -25,7 +25,9 @@ const GLib = imports.gi.GLib;
 
 const MinerIface = '<node> \
 <interface name="org.gnome.OnlineMiners.Miner"> \
-    <method name="RefreshDB" /> \
+    <method name="RefreshDB"> \
+        <arg name="index_types" type="as" direction="in"/> \
+    </method> \
     <property name="DisplayName" type="s" access="read"/> \
 </interface> \
 </node>';