chore: add dev feature

This commit is contained in:
GyDi
2022-03-18 10:59:35 +08:00
committed by GitHub
parent 5cb5d74eed
commit a3e7626dd9
3 changed files with 15 additions and 6 deletions

View File

@@ -4,7 +4,10 @@ use port_scanner::local_port_available;
use tauri::{AppHandle, Manager};
use warp::Filter;
#[cfg(not(feature = "verge-dev"))]
const SERVER_PORT: u16 = 33333;
#[cfg(feature = "verge-dev")]
const SERVER_PORT: u16 = 11233;
/// check whether there is already exists
pub fn check_singleton() -> Result<(), ()> {