Merge pull request #100 from PressLabs/95_96_plugin-deletion-bug

fix issues #95 & #96 [plugin deletion not commited]
presslabs · Mar 21, 2016 · 6588b82 · 6588b82
2 parents 9a8f58d + d9666d6
commit 6588b82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/gitium/gitium.php b/gitium/gitium.php
@@ -191,7 +191,7 @@ function gitium_check_after_deactivate_modifications( $plugin ) {
 add_action( 'deactivated_plugin', 'gitium_check_after_deactivate_modifications', 999 );
 
 function gitium_check_for_plugin_deletions() { // Handle plugin deletion
-	if ( isset( $_GET['deleted'] ) && 'true' == $_GET['deleted'] ) {
+	if ( isset( $_GET['deleted'] ) && '1' == $_GET['deleted'] ) {
 		gitium_auto_push();
 	}
 }