chore: add dev feature

This commit is contained in:
GyDi authored and GitHub committed 2022-03-18 10:59:35 +08:00
1 parent ee67358ee6
commit 0fab0f207c
3 files changed
+15 -6

No files matched your search

+3
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<(), ()> {