chiark / gitweb /
rename to cmdlistener
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 21 Jul 2020 23:34:36 +0000 (00:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 21 Jul 2020 23:34:36 +0000 (00:34 +0100)
src/cmdlistener.rs [moved from src/command.rs with 100% similarity]
src/imports.rs
src/lib.rs

similarity index 100%
rename from src/command.rs
rename to src/cmdlistener.rs
index 3b811e12f4e9838ac750218e30eac2bf83d22071..f93167d301dc74324513ef9ec973a113d2021b5a 100644 (file)
@@ -60,7 +60,7 @@ pub use crate::updates::*;
 pub use crate::sse;
 pub use crate::error::*;
 pub use crate::slotmap_slot_idx::*;
-pub use crate::command::*;
+pub use crate::cmdlistener::*;
 
 pub type E = anyhow::Error;
 pub type AE = anyhow::Error;
index 789e623a2dc80349d24fb3df2eb9c8f077a45b93..a4b53158b937f1290e1c40b924c2b08da3648528 100644 (file)
@@ -13,5 +13,5 @@ pub mod http;
 pub mod session;
 pub mod api;
 pub mod spec;
-pub mod command;
+pub mod cmdlistener;
 #[path="slotmap-slot-idx.rs"] pub mod slotmap_slot_idx;