projects
/
gitlive
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c9e5d28
)
GitMonitor.vala
author
Alan Knowles
<alan@akbkhome.com>
Sat, 10 May 2014 14:31:50 +0000
(22:31 +0800)
committer
Alan Knowles
<alan@akbkhome.com>
Sat, 10 May 2014 14:31:50 +0000
(22:31 +0800)
GitMonitor.vala
patch
|
blob
|
history
diff --git
a/GitMonitor.vala
b/GitMonitor.vala
index
6262c7c
..
ca9d6a9
100644
(file)
--- a/
GitMonitor.vala
+++ b/
GitMonitor.vala
@@
-499,7
+499,7
@@
public class GitMonitor : Monitor
public new void onDeleted(MonitorNamePathDir src)
{
if (this.paused) {
public new void onDeleted(MonitorNamePathDir src)
{
if (this.paused) {
- return
true
;
+ return;
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
@@
-523,7
+523,7
@@
public class GitMonitor : Monitor
public new void onCreated(MonitorNamePathDir src) {
if (this.paused) {
public new void onCreated(MonitorNamePathDir src) {
if (this.paused) {
- return
true
;
+ return;
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
@@
-553,7
+553,7
@@
public class GitMonitor : Monitor
public new void onAttributeChanged(MonitorNamePathDir src) {
if (this.paused) {
public new void onAttributeChanged(MonitorNamePathDir src) {
if (this.paused) {
- return
true
;
+ return;
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
}
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd = new GitMonitorQueue(src);
@@
-572,6
+572,9
@@
public class GitMonitor : Monitor
public new void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest)
{
public new void onMoved(MonitorNamePathDir src,MonitorNamePathDir dest)
{
+ if (this.paused) {
+ return;
+ }
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd_s = new GitMonitorQueue(src);
this.lastAdd = new DateTime.now(new TimeZone.local());
var cmd_s = new GitMonitorQueue(src);